Negational normal form

Negational normal form

Negative normal form is way to represent the formula by keeping the negation symbol only to the literals.

If α and φ are boolean formulas, then α\wedgeφ , α\veeφ, \negα, α\rightarrowφ are all boolean formulas. The boolean formulas are made up of literals which are propositional atoms. A formula can be converted to the NNF by simply moving the negations across braces either using De Morgan's laws or the property that \neg\negα is α itself.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”