From: aine
Subject: Propositional calculus in logic
Date: Mon, 18 Dec 2000 17:30:07 +0000
Message-ID: <t3sicvhd5nd32d@corp.supernews.com>

I would like some help in writing logic code for the Following 
propositional calculus WFF's in logic.

   Morgan's Law:      �(p^q)= (�p^�q) and �(PvQ)=(�Pv�Q)
   Implication law:  (P->Q)=(�P)vQ 
   Commitative law:  (P^Q)=(Q^P) and (PvQ)=(QvP)
   Associative law:  ((PvQ)vR)=(Pv(QvR)) and ((P^Q)^R)=(P^(Q^R))
   Distributive law: Pv(Q^R)=(PvQ)^(PvR) and P^(QvR)=(P^Q)v(P^R)

any help would be greatly apreciated

--
Posted via CNET Help.com
http://www.help.com/