Identification of Symmetry, Redundancy and Equivalence of Boolean Functions.

Donald L. Dietmeyer Peter R. Schneider

Published in: IEEE Trans. Electron. Comput. (1967)

Keyphrases

boolean functions
uniform distribution
membership queries
relevant variables
prime implicants
binary decision diagrams
threshold functions
dnf formulae
functional properties
read once formulas
disjunctive normal form
pac learning
dnf formulas
truth table