Коимпликация
Обозначение:
; .
Высказывание будем считать истинным, если первый операнд равен 1, а второй операнд равен 0. Таблица истинности представлена на рис. 12.
Рис. 12 Таблица истинности функции коимпликация
Приоритет операций в логическом выражении, не содержащем скобок:
1. Отрицание.
2. Конъюнкция, *, /, div, mod.
3. Дизъюнкция, +, -.
4. Операция отношения.
Для усиления операции используются скобки.
Законы и формулы алгебры логики