Логическая операция

Булевская операция

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

Булева алгебра

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