Simplest normal truth functions

DOI10.2307/2266893zbMath0066.25602OpenAlexW2016492815MaRDI QIDQ3226744

R. J. Nelson

Publication date: 1955

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

On finding optimal covers ⋮ Polynomial-time algorithms for generation of prime implicants ⋮ McColl and Minimization ⋮ Boolean function minimization in the class of disjunctive normal forms ⋮ Algebraic Topological Methods for the Synthesis of Switching Systems. I ⋮ An algorithm to generate prime implicants and its application to the selection problem ⋮ A Method of Two-Level Simplification of Boolean Functions

Cites Work

• The Problem of Simplifying Truth Functions