McColl and minimization

DOI10.1080/01445340.2010.517387MaRDI QIDQ3019773zbMATH OpenOpenAlexWikidataFDO

Authors Frank Markham Brown

Publication date 29 July 2011

Published in History and Philosophy of Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55)

Recommendations

• scientific article; zbMATH DE number 3877102
• Two-level logic minimization: an overview
• The Minimization Problem for Boolean Formulas
• SAT-Based Formula Simplification
• On simplifying truth-functional formulas

Cites work

• A survey of the life of Hugh MacColl (1837-1909)
• A Way to Simplify Truth Functions
• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 3160337 (Why is no real title available?)
• scientific article; zbMATH DE number 1963548 (Why is no real title available?)
• scientific article; zbMATH DE number 3029852 (Why is no real title available?)
• Simplest normal truth functions
• The Problem of Simplifying Truth Functions

This page was built for publication: McColl and minimization

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