Normal Form:
The propositional formula with only AND, OR and NOT
connectivity is called normal form
Principal Conjunctive
Normal Form (PCNF):
The propositional formula with product of sum terms is
called PCNF
Eg:
(PvQ)^ (PvQ)
Principal Disjunctive
Normal Form (PDNF):
The propositional formula with product of sum terms is
called PDNF
Eg:
(P^Q) v (P^Q)
Inconsistent:
The set of formulas H1, H2, H3, H4 is said to be inconsistent
if H1^H2^H3^H4 is false.
Algebraic laws for solving problems:
From next session example
problems will be dealt so don’t miss and ask your friends also to join us on Face
book
No comments:
Post a Comment