Некоторые способы упрощения булевых формул:

• Применение законов алгебры логики. 12 Например, правило де Моргана, сочетательный закон, правило операций переменной с её инверсией и правило операций с константами. 1
• Вынесение общего множителя за скобки. 1 Также можно использовать переместительный и сочетательный законы. 1
• Повторение второго сомножителя. 1 Это разрешено законом идемпотенции. 1 Затем комбинируются два первых и два последних сомножителя и используется закон склеивания. 1
• Введение вспомогательного логического сомножителя. 1 Затем комбинируются два крайних и два средних логических слагаемых и используется закон поглощения. 1
• Добивание того, чтобы знак отрицания стоял только перед отдельными переменными, а не перед их комбинациями. 1 Для этого дважды применяют правило де Моргана, затем используют закон двойного отрицания. 1
• Вынесение за скобки общих множителей. 1 После этого применяется правило операций с константами. 1
• Применение распределительного закона для дизъюнкции, правила операции переменной с её инверсией, правила операций с константами, переместительного закона и распределительного закона для конъюнкции. 1

Нет одинакового для всех выражений способа упрощения, навыки приходят с опытом. 3