On decomposing a Boolean function and simplfying the components separately.

Charles C. Pinter

Published in: Commun. ACM (1970)

Keyphrases

boolean functions
uniform distribution
relevant variables
polynomial size
truth table
membership queries
multi valued
disjunctive normal form
dnf formulas
bi decomposition