Irredundant Forms and Prime Implicants of a Function with Multistate Variables

@article{Ogunbiyi1981IrredundantFA,
  title={Irredundant Forms and Prime Implicants of a Function with Multistate Variables},
  author={Elizabeth I. Ogunbiyi and Ernest J. Henley},
  journal={IEEE Transactions on Reliability},
  year={1981},
  volume={R-30},
  pages={39-42}
}
For s-coherent fault trees containing only AND/OR gates, many algorithms can be used to obtain the sum-of-products (s.o.p.), cut set, expressions for the top event. If the tree contains non-coherences such as XOR (exclusive OR) gates, these s.o.p. expressions can be reduced to irredundant prime implicant form by algorithms such as Kumamoto & Henley's or by applying simplification and consensus algorithms such as Nelson's or Quine's. If, however, the trees contain multistate variables, then the… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Vesely, "A new methodology for obtaining cut generating prime implicants", IEEE Trans. Electronic Computers, sets for fault trees

  • W.E.J.B. Fussell
  • Trans. Amer. Nucl. Soc.,
  • 1972
Highly Influential
5 Excerpts

The problem of simplifying truth functions", the minimization of Boolean functions

  • W. V. Quine
  • IEEE Trans. Electronic American Mathematical…
  • 1952
Highly Influential
5 Excerpts

A new methodology for obtaining cut generating prime implicants " , IEEE Trans . Electronic Computers , sets for fault trees "

  • C. L. Chang, R. C. T. Lee, J. B. Fussell, W. E. Vesely
  • Decision Tables : Theory and Practice , Wiley…

Similar Papers

Loading similar papers…