An arbitrary propositional formula may have a very complicated structure. It is often convenient to work with formulas that have simpler forms, known as normal forms. Some common normal forms include conjunctive normal form and disjunctive normal form. Any propositional formula can be reduced to its conjunctive or disjunctive normal form.
Read more about this topic: Propositional Formula
Famous quotes containing the words normal and/or forms:
“I shouldn’t say I’m looking forward to leading a normal life, because I don’t know what normal is. This has been normal for me.”
—Martina Navratilova (b. 1956)
“All ... forms of consensus about “great” books and “perennial” problems, once stabilized, tend to deteriorate eventually into something philistine. The real life of the mind is always at the frontiers of “what is already known.” Those great books don’t only need custodians and transmitters. To stay alive, they also need adversaries. The most interesting ideas are heresies.”
—Susan Sontag (b. 1933)