В чем заключается принцип преобразования логических формул?

Принцип преобразования логических формул заключается в изменении исходного логического выражения в соответствии с законами алгебры логики. in.lit.msu.ru

В результате преобразования получается логическое выражение, в котором меньше операций конъюнкции и дизъюнкции и нет отрицаний неэлементарных выражений. in.lit.msu.ru Также выражение считается упрощённым, если получившееся выражение содержит меньше логических переменных. in.lit.msu.ru

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

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

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