Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
review%202

review%202

Ratings: (0)|Views: 2|Likes:
Published by gbland

More info:

Published by: gbland on Sep 10, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/09/2014

pdf

text

original

CS381 Review 2
Gongjun Yan
How to prove
\u2022by Truth Tables
\u2013short
\u2013Few variables
\u2022by Rules

\u2013All
\u2013Complex
\u2013Many variables

\u2022venn diagram
\u2013equivalence
Prove
\u2022~(p\ue002 ~q)\ue002 (~q v ~p)\ue001 ~p
\u2013=~p^~~q v (~q v ~p) =~p^qv (~q v ~p)
\u2013= ~p^(qv ~q )v ~p= ~p^tv ~p= ~pv ~p= ~p
\u2022pv~q^(pvq) = p

\u2013=pv(~q^(pvq))
\u2013=pv((~q^p)v(~q^q)) = pv(~q^p)vc
\u2013=p

\u2022~((~p ^ q)\ue002 (~p ^ ~q))\ue002 (p ^ q)\ue001 p

\u2013= ~(~p ^ q) ^ ~(~p ^ ~q)\ue002 (p ^ q)
\u2013= ~~p\ue002 ~q ^ (~~p\ue002 ~~q)\ue002 (p ^ q)
\u2013=p\ue002 ~q ^ (p\ue002 q)\ue002 (p ^ q)=p\ue002 (p ^ q)= p

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->