В чем заключается метод преобразования логической формы высказываний?

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

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

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

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