Searching for "Normal Forms for a Class of Formulas." – sorted by Relevance.
-
CNF and DNF Considered Harmful for Computing Prime Implicants / Implicates
- form or on disjunctive normal form. A class of formulas is described for which reliance on CNF
- Cited by 10 (8 self) – Add To MetaCart

