Minimalization of Boolean polynomials, truth functions, and lattices

DOI10.1305/NDJFL/1093888319zbMath0276.02042OpenAlexW2083026168MaRDI QIDQ1393230

Mitchell O. Locks

Publication date: 1978

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888319

zbMATH Keywords

MINIMALIZATION OF BOOLEAN POLYNOMIALSPROPOSITIONTRUTH FUNCTIONS

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Classical propositional logic (03B05) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05)

Related Items (2)

Quinean Minimization: Some Suggested Modifications ⋮ A compact method for the minimisation of boolean polynomials

This page was built for publication: Minimalization of Boolean polynomials, truth functions, and lattices