Koofers

Propositional Logic - Flashcards

Flashcard Deck Information

Class:CMSC 250 - Discrete Structures
Subject:Computer Science
University:University of Maryland
Term:Spring 2012
- of -
INCORRECT CORRECT
- INCORRECT     - CORRECT     - SKIPPED
Shuffle Remaining Cards Show Definitions First Take Quiz (NEW)
Hide Keyboard shortcuts
Next card
Previous card
Mark correct
Mark incorrect
Flip card
Start Over
Shuffle
      Mode:   CARDS LIST       ? pages   PRINT EXIT
~(~p) p
p V q p ^ q q V p
q ^ p
(p V q) V r (p ^ q) ^ r p V (q V r)
p ^ (q ^ r)
p ^ (q V r) p V (q ^ r) (p ^ q) V (p ^ r)
(p V q) ^ (p V r)
Generated by Koofers.com
p ^ p p V p p
p V (p ^ q) p ^ (p V q p
p ^ t p V c p
p V ~p p ^ ~p t
c
Generated by Koofers.com
p ^ c p V t c
t
~t ~c c
t
~(p V q) ~(p ^ q) ~p ^ ~q
~p V ~q
p XOR q (p V q) ^ ~(p ^ q)
Generated by Koofers.com
p -> q ~p V q
p q p if and only if q
Generated by Koofers.com

List View: Terms & Definitions

  Hide All 14 Print
 
Front
Back
 ~(~p)p
 p V q p ^ qq V p
q ^ p
 (p V q) V r (p ^ q) ^ rp V (q V r)
p ^ (q ^ r)
 p ^ (q V r) p V (q ^ r)(p ^ q) V (p ^ r)
(p V q) ^ (p V r)
 p ^ p p V pp
 p V (p ^ q) p ^ (p V qp
 p ^ t p V cp
 p V ~p p ^ ~pt
c
 p ^ c p V tc
t
 ~t ~cc
t
 ~(p V q) ~(p ^ q)~p ^ ~q
~p V ~q
 p XOR q(p V q) ^ ~(p ^ q)
 p -> q~p V q
 p qp if and only if q
36, "/var/app/current/tmp/"