Irredundant Normal Forms and Minimal Dependence Sets of a Boolean Function | IEEE Journals & Magazine | IEEE Xplore