Коимпликация

Обозначение:

; .

Высказывание будем считать истинным, если первый операнд равен 1, а второй операнд равен 0. Таблица истинности представлена на рис. 12.

Рис. 12 Таблица истинности функции коимпликация

Приоритет операций в логическом выражении, не содержащем скобок:

1. Отрицание.

2. Конъюнкция, *, /, div, mod.

3. Дизъюнкция, +, -.

4. Операция отношения.

Для усиления операции используются скобки.

Законы и формулы алгебры логики