Computing prime implicants

DOI10.1007/3-540-52885-7_113MaRDI QIDQ6488559zbMATH OpenFDO

Authors Peter A. Jackson, John Pais

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_113

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Cites work

• A comparative study of several proof procedures
• A New Algorithm for Generating Prime Implicants
• A theory of diagnosis from first principles
• A Way to Simplify Truth Functions
• On Cores and Prime Implicants of Truth Functions
• The Problem of Simplifying Truth Functions

Cited in

(1)

• A superposition calculus for abductive reasoning

This page was built for publication: Computing prime implicants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488559)