On simplifying truth-functional formulas

DOI10.2307/2269097zbMath0072.00104OpenAlexW2091842496MaRDI QIDQ3237136

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)

Related Items (2)

The automation of syllogistic. I: Syllogistic normal forms ⋮ Polynomial-time algorithms for generation of prime implicants

Cites Work

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

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