Преобразовать в конъюнктивную нормальную форму
Я пытаюсь решить проблему, когда мне нужно конвертировать набор wff в CNF, но это формулы с использованием переменных, с которыми я совершенно незнаком. Я работаю с:
Человек (тед) (1)
Персона (Сам) (2)
Любит (Тед, Сэм) (3)
Я знаю общее правило устранения последствий и уменьшения масштабов отрицания и т. Д. Но я понятия не имею, как преобразовать (1) - (3) в CNF. Кто-нибудь знает?