logical equivalences n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Logical Equivalences PowerPoint Presentation
Download Presentation
Logical Equivalences

Loading in 2 Seconds...

play fullscreen
1 / 5

Logical Equivalences - PowerPoint PPT Presentation


  • 245 Views
  • Uploaded on

Law. Name. P  P  T P  P  F. Excluded middle law Contradiction law. P  F  P P  T  P. Identity laws. P  T  T P  F  F. Domination laws. P  P  P P  P  P. Idempotent laws. (P)  P. Double-negation law. Logical Equivalences. P  Q  Q  P P  Q  Q  P.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

Logical Equivalences


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
    Presentation Transcript
    1. Law Name P  P  T P  P  F Excluded middle law Contradiction law P  F  P P  T  P Identity laws P  T  T P  F  F Domination laws P  P  P P  P  P Idempotent laws (P)  P Double-negation law Logical Equivalences

    2. P  Q  Q P P  Q  Q  P Commutative laws (P  Q)  R  P  (Q  R) (P  Q)  R  P  (Q  R) Associative laws (P  Q)  (P  R)  P  (Q  R) (P  Q)  (P  R)  P  (Q  R) Distributive laws (P  Q)  P  Q (P  Q)  P  Q De Morgan’s laws P  (P  Q)  P P  (P  Q)  P P  Q  P  Q P  Q (P  Q)  (Q  P) Absorption laws Implication law Bi-conditional law

    3. Basic Set Identities

    4. Basic Set Identities (continued…)

    5. Main Rules of Inference