On simplifying truth-functional formulas

DOI10.2307/2269097zbMATH Open0072.00104OpenAlexW2091842496MaRDI QIDQ3237136FDOQ3237136

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• The automation of syllogistic. I: Syllogistic normal forms
• Polynomial-time algorithms for generation of prime implicants
• McColl and minimization
• On simplicity of formulas
• 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)