Изменения
Нет описания правки
* <tex>(x \vee y)</tex> заменим на <tex>(x \vee y \vee z) \wedge (x \vee y \vee \neg z)</tex>. Ясно, что последняя формула выполнима тогда и только тогда, когда выполнима исходная, при любых <tex>z</tex>;
* <tex>(x)</tex> заменим на <tex>(x \vee y) \wedge (x \vee \neg y)</tex> - свели задачу к предыдущей;
* Если встречается скобка вида <tex>(x_1 \ldots x_k), k \ge 3</tex>, введем <tex>k-3</tex> новых переменных и заменим нашу скобку на <tex>k-2</tex> скобки: <tex>(x_1 \vee x_2 \vee z_1) \wedge (x_3 \vee \neg z1 \vee z2) \wedge (x_4 \vee \neg z2 \vee z3) \wedge \ldots \wedge (x_{k-1} \vee x_k \vee \neg z_{k-3})</tex>
