On the minimal third order expression of a Boolean function

Angelo Raffaele Meo

Published in: SWCT (1962)

Keyphrases

boolean functions
uniform distribution
relevant variables
disjunctive normal form
membership queries
multi valued
polynomial size
binary decision diagrams
functional properties
monotone boolean functions
pseudo boolean functions
dnf formulas
bi decomposition