КНФ
p∨(¬q)
p∨(¬q)
Уже приведено к КНФ<br><br>$$p \vee \neg q$$
Уже приведено к КНФ<br><br>$$p \vee \neg q$$