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