Equivalency Laws

Card Set Information

Author:
mbj12
ID:
220669
Filename:
Equivalency Laws
Updated:
2013-05-22 09:57:14
Tags:
discrete math equivalency laws logic bitwise
Folders:

Description:
Logical operator equivalency laws
Show Answers:

Home > Flashcards > Print Preview

The flashcards below were created by user mbj12 on FreezingBlue Flashcards. What would you like to do?


  1. p∨¬p⇔T
    Tautology
  2. ¬(¬p)⇔p
    Double Negation
  3. p∨F⇔p
    Identity Laws
  4. p∧T⇔p
    Identity Laws
  5. p∨q⇔q∨p
    p∧q⇔q∧p
    Commutative Laws
  6. (p∨q)∨r⇔p∨(q∨r)
    (p∧q)∧r⇔p∧(q∧r)
    Associative Laws
  7. ¬(p∨q)⇔¬p∧¬q
    ¬(p∧q)⇔¬p∨¬q
    DeMorgan's Laws
  8. p→q⇔¬p∨q
    Implication Law
  9. p→q⇔¬q→¬p
    Contrapositive Law
  10. ¬(p→q)⇔p∧¬q
    Negation of Implication Law
  11. p∨(q∧r)⇔(p∨q)∧(p∨r)
    p∧(q∨r)⇔(p∧q)∨(p∧r
    Distributive Laws
  12. p∧¬p⇔F
    Contradiction
  13. p∨T⇔T
    p∧F⇔F
    Domination Laws
  14. p∨p⇔p
    p∧p⇔p
    Idempotent Laws
  15. p∨(p∧q)⇔p
    p∧(p∨q)⇔p
    Absorption Laws

What would you like to do?

Home > Flashcards > Print Preview