• Логическое отрицание. Обозначения: не,⌐,−,not. Если исходное выражение истинно, то результат отрицания будет ложный и наоборот.
А ⌐А
• Логическое сложение(дизъюнкция). Обозначения: +, v,or, или. Выражение будет истинным тогда и только тогда, когда истинно хотя бы одно из исходных выражений. Логический элемент ИЛИ теоретически имеет бесконечное число входов, на практике ограничиваются числом от 2 до 8.
А
AvB
В
• Логическое умножение(Конъюнкция). Обозначения: &,^,and,и. Выражение будет истинным только тогда, когда истинны оба исходных выражения. Логический элемент И теоретически имеет бесконечное число входов, на практике ограничиваются числом входов от 2 до 8.
А
A&B
В
• Логическое следование(импликация). Обозначения: imp,→. Связывает два простых логических выражения из которых первое является условием (А), а второе(В) следствием из этого условия. Результатом импликации является ложь только тогда, когда А истинно, а В ложно.
• Логическая равнозначность(эквивалентность). Обозначения: eqv,~,↔. Определяет результат сравнения двух простых логических выражений А и В. Результатом эквивалентности является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны.
