Boolean Normal Forms, Shellability, and Reliability Computations

@article{Boros2000BooleanNF,
  title={Boolean Normal Forms, Shellability, and Reliability Computations},
  author={Endre Boros and Yves Crama and Oya Ekin and Peter L. Hammer and Toshihide Ibaraki and Alexander Kogan},
  journal={SIAM J. Discrete Math.},
  year={2000},
  volume={13},
  pages={212-226}
}
Orthogonal forms of positive Boolean functions play an important role in reliability theory, since the probability that they take value 1 can be easily computed. However, few classes of disjunctive normal forms are known for which orthogonalization can be efficiently performed. An interesting class with this property is the class of shellable disjunctive… CONTINUE READING