CNF-DNF-converter Given a Boolean formula, constructed from variables using /\ (conjunction), / (disjunction), -> (implication), and ~ (negation), convert it into Conjunctive Normal Form (CNF) and into Disjunctive Normal Form (DNF).