Для упрощения логических формул с помощью законов алгебры логики можно предпринять следующие шаги: 2

1. Избавиться от операций импликации. 2
2. Продвинуть отрицание вглубь выражения. 2 Для этого нужно применять законы де Моргана и закон двойного отрицания, пока знак отрицания не будет стоять только над переменными (но не над операциями). 2
3. Использовать тождества поглощения или раскрывать скобки. 2

Некоторые законы алгебры логики, которые помогают упростить логические выражения:

• Закон двойного отрицания. 34 Операция НЕ является обратимой: если её использовать два раза, логическое значение в результате останется неизменным. 3
• Закон исключённого третьего. 34 Каждое логическое выражение при любых условиях является истинным либо ложным. 3
• Правило де Моргана. 34 Общее отрицание не только распространяется на отдельные выражения, но и дизъюнкция заменяется конъюнкцией (и наоборот). 3