New answers tagged first-order-logic
2
You can learn more about CNF on wikipedia.
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals [...]
So this rules out all formulas in your example that do not satisfy this condition. As for the rest of your question, draw the truth ...
Top 50 recent answers are included