否定標準形
1. Negation normal formNegation normal form is an elementary canonical form in mathematical logic. There are similar requirements for negation normal form in different logic fragments. In predicate logic, a logical formula is in negation normal form if negation occurs only immediately above elementary propositions, and {} are the only allowed Boolean connectives.
Read “Negation normal form” on English Wikipedia
Read “否定標準形” on Japanese Wikipedia
Read “Negation normal form” on DBpedia
Read “Negation normal form” on English Wikipedia
Read “否定標準形” on Japanese Wikipedia
Read “Negation normal form” on DBpedia
Discussions
Log in to talk about this word.