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

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

Некоторые шаги алгоритма:

1. Элиминация операций. portal.tpu.ru Выражение всех операций через операции конъюнкции, дизъюнкции и отрицания. portal.tpu.ru
2. Протаскивание отрицаний. portal.tpu.ru Сведение всех отрицаний к переменным (используются законы Де Моргана и снятия двойного отрицания). portal.tpu.ru
3. Раскрытие скобок. portal.tpu.ru Раскрытие скобок, являющихся операндами конъюнкции, и приведение к ДНФ. portal.tpu.ru
4. Приведение подобных. portal.tpu.ru Удаление с помощью свойства идемпотентности повторных вхождений переменных в каждую конъюнкцию и повторных вхождений конъюнкций в дизъюнкцию. portal.tpu.ru
5. Расщепление переменных. portal.tpu.ru Добавление в каждую конъюнкцию, содержащую не все переменные, недостающих переменных. portal.tpu.ru

При преобразовании логических формул используют законы алгебры логики, правила операций с логическими константами, а также некоторые приёмы, применяемые в обычной алгебре, например, вынесение общего множителя за скобки. privplesinf.ucoz.ru