Приведем к КНФ формулу
Преобразуем формулу F к формуле не содержащей →:
В полученной формуле перенесем отрицание к переменным и сократим двойные отрицания:
По закону дистрибутивности получим КНФ:
Сейчас читают про:
8200
7977
2015-09-06
1105Приведем к КНФ формулу
Преобразуем формулу F к формуле не содержащей →:
В полученной формуле перенесем отрицание к переменным и сократим двойные отрицания:
По закону дистрибутивности получим КНФ:
|
|
8200 7977