1. Закон тождества. Всякое высказывание тождественно самому себе: 2. Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным. 3. Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано

4. Закон двойного отрицания. Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание: 5. Законы равносильности. В алгебре логики нет показателей степеней и коэффициентов. Конъюнкция одинаковых «сомножителей» равносильна одному из них: Дизъюнкция одинаковых «слагаемых» равносильна одному:

6. Законы де Моргана: 7. Правило коммуникативности (переместительный закон) Логическое умножение: Логическое сложение: 8. Правило ассоциативности (сочетательный закон) Логическое умножение: Логическое сложение:

9. Правило дистрибутивности (распределительный закон) Дистрибутивность умножения относительно сложения: Дистрибутивность сложения относительно умножения: 10. Законы исключения констант Для логического сложения Для логического умножения

11. Законы поглощения: 12. Закон исключения (закон склеивания): Для сложения Для умножения

13. Законы контрапозиции (правило перевертывания): Для эквиваленции: А В = В А Для следования: А В = В А 14. Правило исключения импликации (следования): А В =