Computing prime implicants

DOI10.1007/3-540-52885-7_113zbMath1509.03043MaRDI QIDQ6488559

Peter A. Jackson, John Pais

Publication date: 28 April 2023

Mathematics Subject Classification ID

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

Related Items (1)

A superposition calculus for abductive reasoning

Cites Work

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

This page was built for publication: Computing prime implicants