| |||
PCNF (principal conjunctive normal form Каснер Михаил) | |||
maxterm form of boolean expression (ssn) | |||
full conjunctive normal form (ssn); FCNF (ssn); perfect conjunctive normal form (ssn); product-of-sums boolean expression (ssn); maxterm boolean expression (ssn) |