Метод преобразования логической формы высказываний заключается в упрощении логических выражений. 2 Это замена их на равнозначные на базе законов алгебры логики с целью получения высказываний более простой формы. 2

В общем случае можно предложить следующую последовательность действий: 4

1. Заменить операции строгая дизъюнкция, импликация, эквиваленция на их выражения через операции конъюнкция, дизъюнкция, инверсия. 4
2. Раскрыть отрицания сложных выражений по законам де Моргана. 4
3. Используя законы алгебры логики, упростить выражение. 4

Любую логическую формулу путём тождественных преобразований можно привести к формуле, содержащей только операции отрицания, конъюнкции и дизъюнкции. 4 Такой способ представления логической формулы называется нормальной формой. 4