Лекция: Преобразование высказываний

Сложное высказывание, представленное в произвольном виде с помощью равносильностей с 11 по 16, а также с использованием законов Де Моргана могут быть преобразованы к нормальной форме.

Преобразование КНФ в СКНФ.

Схематично основную идею преобразования можно представить так:

X Ú Y ≡ X Ú Y Ú 0 ≡ X Ú Y Ú Z×Z ≡ (X Ú Y Ú Z)×(X Ú Y Ú Z)

Преобразование ДНФ в СДНФ.

Схематично основную идею преобразования можно представить так:

X×Y ≡ X×Y×1 ≡ X×Y×(Z Ú Z) ≡ X×Y×Z Ú X×Y×Z