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:
“Marriages will survive despite enormous strains. A lover will ask, “Is he happy? Can he still love her?” They don’t realise that’s not the point, it’s all the normal things they do together—going to the supermarket, choosing wallpaper, doing things with the children.”
—Carol Clewlow (b. 1947)
“Psychoanalysis can unravel some of the forms of madness; it remains a stranger to the sovereign enterprise of unreason. It can neither limit nor transcribe, nor most certainly explain, what is essential in this enterprise.”
—Michel Foucault (1926–1984)