Quinean Minimization: Some Suggested Modifications

DOI10.1080/02522667.1982.10698718zbMath0498.94022OpenAlexW2037512807MaRDI QIDQ3964466

Mitchell O. Locks

Publication date: 1982

Published in: Journal of Information and Optimization Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/02522667.1982.10698718

zbMATH Keywords

minimization of truth functionsprime implicantreversal-absorption procedure

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Minimalization of Boolean polynomials, truth functions, and lattices
• Weak simplest normal truth functions
• A Way to Simplify Truth Functions
• On Cores and Prime Implicants of Truth Functions
• The Problem of Simplifying Truth Functions

This page was built for publication: Quinean Minimization: Some Suggested Modifications