|
Propositional logic
ok i know there's a lot of different notations for logic, but here's what im gonna use for this question
<=> logically equivalent to
v or
^ and
prove:
p <=> p^(p v q)
this question, while pegged as being easy, has really got my goat right now
|