Conjunctive Normal Form Solved Examples