Computation of prime implicants using matrix and paths

Journal of Logic and Computation

Volumn 8, Issue 2, 1998, Pages 135-145

  Shiny, A K ^a   Pujari, Arun K ^a  

^a UNIVERSITY OF HYDERABAD   (India)

Author keywords

Prime implicants; Propositional logic

Indexed keywords

ADAPTIVE ALGORITHMS; COMPUTATIONAL METHODS; KNOWLEDGE BASED SYSTEMS; MATRIX ALGEBRA;

CLAUSE MAINTENANCE SYSTEMS; CONJUNCTION NORMAL FORM (CNF); DIVIDE AND CONQUER TECHNIQUE; KNOWLEDGE COMPILATION; PRIME IMPLICANTS; PROPOSITIONAL LOGIC;

FORMAL LOGIC;

EID: 0032045818     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.2.135     Document Type: Article

References (12)

1. T. C. Bartee, I. L. Lebow and I. S. Reed. Theory and Design of Digital Machines, McGraw-Hill, New York, 1962.
2. N. N. Biswas. Introduction to Logic and Switching Theory, Gordon and Breach Science, New York, 1975.
3. J. de Kleer. An assumption-based TMS, Artificial Intelligence, 28, 127-162, 1986.
4. J. Doyle. A truth maintenance system, Artificial Intelligence, 12, 231-272, 1979.
5. A. Kean and G. Tsiknis. An incremental method for generating prime implicants/implicates, Journal of Symbolic Computation, 9, 185-206, 1990.
6. Z. Kohavi. Switching and Finite Automata Theory, second edition, Tata McGraw-Hill, New Dehli, 1978.
7. W. V. Quine. The problem of simplifying truth functions, American Mathematics Monthly, 59, 521-531, 1952.
8. W. V. Quine. On cores and prime implicates of truth functions, American Mathematics Monthly, 66, 755-760, 1959.
9. R. Reiter and J. de Kleer. Foundations of assumption-based truth maintenance systems: preliminary report. Proceedings of AAAI-87, pp. 183-188, 1987.
10. J. R. Slagle, C. L. Chang and R. C. T. Lee. A new algorithm for generating prime implicants, IEEE Transactions on Computation, C-19, 304-310, 1970.
11. R. Socher. Optimizing the clausal normal form transformation. Journal of Automated Reasoning, 7, 325-336, 1991.
12. P. Tison. Generalization of Consensus Theory and Application to the Minimization of Boolean Functions, IEEE Transactions on Electronic Computers, EC-16, 446-456, 1967.