Test Case for Question #5 in DWITE 2011-2012 High School Round 3

(((((((c v ~a) v b) v ~b) v a) v ~g) v e) ^ (~f v (a v (~c v e))))
(a v ~a)
(a v ~a)
(((a ^ (a ^ (((a ^ a) ^ a) ^ a))) v (~a ^ (~a ^ (((~a ^ ~a) ^ ~a) ^ ~a)))) ^ ((j ^ (j ^ (((j ^ j) ^ j) ^ j))) v (~j ^ (~j ^ (((~j ^ ~j) ^ ~j) ^ ~j)))))
(a v ~a)
(a v ~a)
((((g ^ e) ^ b) v (~e ^ (~g ^ ~b))) ^ (((b v ~b) ^ (~a v a)) ^ ((c v ~c) ^ (h v ~h))))
(a v ~a)
(a v ~a)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~(~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~j ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~j)
a
a
~~(((((a v ~~b) v ~~(~~~~c v ~~~~~~d)) v ((~~~~~~~~e v ~~~~~~~~~~f) v ~~(~~~~~~~~~~~~g v ~~~~~~~~~~~~~~h))) v ~~(~~~~~~~~~~~~~~~~i v ~~~~~~~~~~~~~~~~~~j)) v ((((~a ^ ~b) ^ (~c ^ ~d)) ^ ((~e ^ ~f) ^ (~g ^ ~h))) ^ (~i ^ ~j)))
a
a

NYY
YYY
NYY
YNN
YNN