ПОИСК Статьи Рисунки Таблицы Основные свойства алгебрологических операций и логических связей из "Программирование " В дальнейшем мы будем обозначать истинное высказывание цифрой 1, а ложное — цифрой 0. [c.38] Первая из формул (1.9) означает справедливость для логического сложения (и дизъюнкции) переместительного закона, а последняя формула — справедливость сочетательного закона. Из последней формулы вытекает возможность опускать скобки в многочленных дизъюнкциях (например, можно писать А В /С). [c.39] Первая из этих формул означает, что логическое умножение обладает распределительным свойством относительно логического сложения (аналогом этой формулы в обычной алгебре является а Ь- -с)= аЬ- ас). Вторая формула означает, что логическое сложение обладает распределительным свойством по отношению к логическому умножению (в обычной алгебре аналога этой формуле нет, ибо формула а- -Ьс= =(а+6) (а+с) неверна). [c.39] Операция неравнозначности полностью описывается табл. 1.16, которая легко может быть получена по табл. 1.14 и 1.10. [c.40] Функция х у представляет собой не что иное, как функцию (л , у) из табл. 1.11. Логическая связь имеет смысл исключающего или , поэтому сложное высказывание А== В можно произносить так или А, или В. [c.40] Функция х у представляет собой не что иное, как функцию / ,5 (л , у) из табл. 1.11. [c.41] Вернуться к основной статье