Логические операции
ЕСЛИ-ТО
Операция, выражаемая связками "если ..., то", "из ...
следует", "... влечет ...", называется импликацией (лат. implico — тесно связаны) и обозначается знаком → . Высказывание А → В ложно тогда и только тогда, когда А истинно, а В ложно.
РАВНОСИЛЬНО
Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией или двойной импликацией и обозначается знаком ↔ или ~ .
Высказывание А ↔ В истинно тогда и только тогда, когда значения А и В совпадают.
Также как в обычной математике в алгебре логики имеется старшинство операций.
При этом первым выполняется:
Действие в скобках
Операция с одним операндом (одноместная операция) – НЕ
Конъюнкция - И
Дизъюнкция - ИЛИ
Сумма по модулю два.
АКСИОМЫ алгебры логики описывают действие логических функций "И" и "ИЛИ" и записываются следующими выражениями:
0 * 0 = 0; 0 * 1 = 0; 1 * 0 = 0; 1 * 1 = 1;
0 + 0 = 0; 0 + 1 = 1; 1 + 0 = 1; 1 + 1 = 1;
http://digital.sibsutis.ru/digital/AlgLog.htm
Физический факультет, ЭВУ и системы, 7 семестр,2011 Доцент Моховиков А..Ю. Physics Faculty, Electronic Devices & Systems, 7th semester,2011 Dr. Mokhovikov