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 don’t mind saying in advance that in my opinion jealousy is normal and healthy. Jealousy arises out of the fact that children love. If they have no capacity to love, then they don’t show jealousy.”
—D.W. Winnicott (20th century)
“The soul of Man must quicken to creation.
Out of the formless stone, when the artist united himself with stone,
Spring always new forms of life....”
—T.S. (Thomas Stearns)