RE > Chapter MAT > Flashcards
~~p <=> p
double negation
~(p v q) <=> ~p ʌ ~q ~(p ʌ q) <=> ~p v ~q
de morgan’s law
p v q <=> p v qp ʌ q <=> q ʌ p
commutative law
(p ʌ q) ʌ r <=> p ʌ (q ʌ r)(p v q) v r <=> p v (q v r)
associative law