In this paper we survey different methods of computation of prime implicants and implicates in prepositional, first order and modal logic and their applications in electrical engineering, truth maintenance systems and Diagnosis. © 2014 CRL Publishing Ltd.

Arindama Singh

Department of Mathematics

Artificial Intelligence

Surveys

First order logic

MODAL LOGIC

PREPOSITIONAL LOGIC

PRIME IMPLICANTS

PRIME IMPLICATES

Formal logic

IIT Madras is a public technical and research university located in Chennai, Tamil Nadu. Founded in 1959, it is recognised as an Institute of National Importance.

IIT Madras has been ranked as the top engineering institute in India for four years in a row by the National Institutional Ranking Framework of the MHRD

It currently offers undergraduate, postgraduate and research degrees across 16 disciplines in Engineering, Sciences, Humanities and Management. About 596 faculty belonging to science and engineering departments and centres of the Institute are engaged in teaching, research and industrial consultancy.

IIT Madras

Computer Systems Science and Engineering

A survey on computing prime implicants and implicates in classical and non-classical logics

Journal	Computer Systems Science and Engineering
Publisher	CRL Publishing
ISSN	02676192
Open Access	No