ВУЗ:
Составители:
Рубрика:
55
Подмножество, на котором предикат Р(х) принимает значение "истина",
называется характеристическим множеством.
Пусть на М определены два предиката Р(х) и Q(x), характеристиче-
скими подмножествами которых являются соответственно множества Р и Q.
Рассматривая предикаты как двузначные функции, можно с помощью
операций алгебры логики строить новые одноместные предикаты на
множестве М.
Подобным образом вводятся и другие логические операции дизъ-
юнкции, импликации и др.
2.6. ЗАКОНЫ И ТОЖДЕСТВА БУЛЕВОЙ АЛГЕБРЫ
Неформально под булевой алгеброй понимают совокупность всех
булевых функций. Причем зачастую на практике ограничиваются тремя
булевыми функциями И, ИЛИ, НЕ. В булевой алгебре выполняются
следующие законы и тождества:
1. Идемпотентность
2. Коммутативность
3. Ассоциативность
4. Дистрибутивность
5. Универсальность верхней и нижней границы
6. Закон де Моргана
Страницы
- « первая
- ‹ предыдущая
- …
- 53
- 54
- 55
- 56
- 57
- …
- следующая ›
- последняя »
