11.1

[math]\displaystyle{ (x\lor y\lor a_{1})\;\land\; (\neg a_{1}\lor \neg z\lor a_{2})\;\land\; (\neg a_{2}\lor w\lor a_{3})\;\land\; (\neg a_{3}\lor u\lor \neg v)\;\land\\[2pt] (\neg x\lor \neg y\lor b_{1})\;\land\; (\neg b_{1}\lor z\lor b_{2})\;\land\; (\neg b_{2}\lor \neg w\lor b_{3})\;\land\; (\neg b_{3}\lor u\lor v)\;\land\\[2pt] (x\lor \neg y\lor c_{1})\;\land\; (\neg c_{1}\lor \neg z\lor c_{2})\;\land\; (\neg c_{2}\lor w\lor c_{3})\;\land\; (\neg c_{3}\lor u\lor \neg v)\;\land\\[2pt] (x\lor \neg y\lor \neg y) }[/math]

Back to Chapter 11