Логические законы Правила преобразования логических выражений

1. Закон двойного отрицания Пр. Неверно, что дважды два не четыре.

2. Переместительный закон

3. Сочетательный закон

4. Распределительный закон

5. Законы де Моргана

6. Закон идемпотентности

7. Закон исключения констант

8. Закон противоречия 9. Закон исключения третьего

10. Закон поглощения

11. Закон исключения

12. Закон контрапозиции

Тождественно-ложные логические выражения это логические выражения, которые ложны при любых значениях исходных логических выражений

Тождественно-истинные логические выражения это логические выражения, которые истинны при любых значениях исходных логических выражений

Нормальные формы логических выражений это логические выражения, которые представленные только с помощью 3-х базовых логических функций (конъюнкции, дизъюнкции и инверсии)

Законы приведения к нормальным логическим формам