On simplifying truth-functional formulas

DOI10.2307/2269097MaRDI QIDQ3237136zbMATH OpenOpenAlexFDO

Authors Kurt Bing

Publication date 1956

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2269097

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• scientific article; zbMATH DE number 3877102
• scientific article; zbMATH DE number 2124567
• On simplicity of formulas
• scientific article; zbMATH DE number 3877101
• scientific article; zbMATH DE number 1475233

Cites work

• A Way to Simplify Truth Functions
• The Problem of Simplifying Truth Functions

Cited in

(6)

• The automation of syllogistic. I: Syllogistic normal forms
• The Samaritani formula
• Polynomial-time algorithms for generation of prime implicants
• On simplicity of formulas
• McColl and minimization
• On simplification of formulas with unconstrained variables and quantifiers

This page was built for publication: On simplifying truth-functional formulas

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