Study your flashcards anywhere!

Download the official Cram app for free >

  • Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off

How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key


Play button


Play button




Click to flip

10 Cards in this Set

  • Front
  • Back
p ^ q = q ^ p
q v p = p v q
Commutative laws
(p ^ q) ^ r = p ^ (q ^ r)
(p v q) v r = p v (q v r)
Associative laws
p ^ (q v r) = (p ^ q) v (p ^ r)
p V (q ^ r) = (p v q) ^ (p v r)
Distributive laws
p ^ T = p
p v C = p
Identity laws
p v ~p = T
p ^ ~p = C
Negation laws
~(~p) = p
Double negative laws
p ^ p = p
p v p = p
Indempotent laws
p v T = T
p ^ C = C
Universal bound laws
~(p ^ q) = ~p v ~q
~(p v q) = ~p ^ ~q
DeMorgan's laws
p v (p ^ q) = p
p ^ (p v q) = p
Absorption laws