Глоссарий
Логические операции

Логическая операция
син.Булевская операция
Логическая операция - операция над булевскими операндами, принимающими значения Истина или Ложь. Обычно в языках программирования определены двуместные операции:
- двуместное логическое сложение;
- двуместное логическое умножение;
- одноместное логическое отрицание.

Булева алгебра
англ.Boolean algebra
От Дж.Буль - английский математик 1815-1864
Булева алгебра - раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание.

Дизъюнкция высказываний
Дизъюнкция высказываний - новое высказывание:
- сконструированное их двух и более исходных высказываний;
- истинное в тех случаях, когда истинно хотя бы одно из исходных высказываний.

Конъюнкция высказываний
Конъюнкция высказываний - новое высказывание:
- сконструированное их двух и более исходных высказываний;
- истинное в тех случаях, когда истинны все исходные высказывания.

Логический оператор
Логический оператор - оператор, реализующий операции булевой алгебры.

Логическое отрицание
син.Логическое не
англ.(not)
Логическое отрицание - унарная логическая операция, определяемая таблицей истинности:
-: not 0 = 1
-: not 1 = 0

Логическое сложение
син.Дизъюнкция
англ.(or)
Логическое сложение - двуместная логическая операция, определяемая таблицей истинности:
-: 0 or 0 = 0
-: 0 or 1 = 1
-: 1 or 0 = 1
-: 1 or 1 = 1

Логическое умножение
син.Конъюнкция
англ.(and, &)
Логическое умножение - двуместная логическая операция, определяемая таблицей истинности:
-: 0 and 0 = 0
-: 0 and 1 = 0
-: 1 and 0 = 0
-: 1 and 1 = 1

[ 15-05-2024 www.glossary.ru]