61
правка
Изменения
→Конъюнктивная нормальная форма (КНФ)
<tex>f(x,y,z) = (x \lor y) \land (y \lor \neg{z})</tex>
<tex>f(x,y,z,t) = (x \lor t) \land (y \lor \neg{t}) \land (\neg{t} \lor \neg{mz}) \land (\neg{x} \lor \neg{y} \lor z)</tex>
<tex>f(x,y,z,t,m) = (x \lor m \lor \neg{y}) \land (y \lor \neg{t}) \land (y \lor t \lor \neg{x})</tex>
