2015-06-28
317
Множество В, на котором определены две бинарные операции (конъюнкция 
и дизъюнкция 
) и одна унарная операция (отрицание 
) и выделены два элемента 0 и 1 
называется булевой алгеброй.
Причем для этих операций необходимо выполнение следующих свойств:
1. Ассоциативность
· 
· 
2. Коммутативность
· 
· 
3. Дистрибутивность конъюнкции относительно дизъюнкции
· 
4. Дистрибутивность дизъюнкции относительно конъюнкции
· 
5. Идемпотентность
· 
· 
6. Двойное отрицание
· 
7. Свойства констант
· 
· 
· 
· 
· 
· 
8. Правила де Моргана
· 
· 
9. Закон противоречия
· 
10. Закон исключенного третьего
· 
В алгебре логики эти законы называются равносильностями.
