Keywords

#negation_normal_form

Negation normal form

Logical formula with NOT only on variables

In mathematical logic, a formula is in negation normal form (NNF) if the negation operator (, not) is only applied to variables and the only other allowed Boolean operators are conjunction (, and) and disjunction (, or).

Thu 18th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Negation normal form Normal form Disjunctive normal form Linear temporal logic Conjunctive normal form Canonical form Algebraic normal form Binary decision diagram De Morgan's laws Prenex normal form
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.