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