I need T to be a set of clauses in conjunctive normal form.
T = { (¬A ^ ¬C) → B }
T = { ¬(¬A ^ ¬C) v B }
T = { (A v C) v B }
I 'simplified' it to T = { (A v C) v B }, is it in CNF?
The formula has only disjoint symbols so my first impression is it isn't but since it can't be formulated with a conjunction it must be in CNF?