conjunctive normal form (Q17958)

From Azupedia
Revision as of 19:48, 2 January 2024 by Fire (talk | contribs) (‎Created claim: subclass of (P1): propositional formula (Q18002))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
concept in Boolean logic
  • CNF
  • clausal form
Language Label Description Also known as
English
conjunctive normal form
concept in Boolean logic
  • CNF
  • clausal form

Statements

 
    Retrieved from "https://wiki.tiffa.net/w/index.php?title=Item:Q17958&oldid=95884"