Special Assignment

Fa13mcs028
Atif raza
Q. 1: Verify the logical equivalences:
~((~p q) (~p ~q)) (p q) p (5)
~((~p q) ~(p q)) (p q)
(~(~p q) (p q)) (p q)
(~(~p) ~q) (p q) (p q)
(p ~q) (p q)) (p q)
p (~q q) (p q)
p (q ~q) (p q)
p c (p q)
p (p q)
p
Q. 2: Give the output signals for the circuits if the input signals are as indicated. Also find the circuit which
is logically equivalent to that. (5)
( Q)
( ~Q)
(~ ~Q)
age 1 of 3
( Q) ( ~Q) (~ ~Q)
(( Q) ( ~Q)) (~ ~Q)
((Q~Q)) (~ ~Q)
(t) (~ ~Q)
(~ ~Q)
(~)(~Q)
t(~Q)
(~Q)t
~Q
!ence" the a#ove circuit is logically equivalent to P~Q which sis as under:
Q.3: $har%y" a leader of the underworld" was %illed #y one of his own #and of four hench&en. 'etective
$harp interviewed the &en and deter&ined that all were lying e(cept for one. !e deduced who %illed $har%y
on the #asis of the following state&ents:
a. $oc%o: )efty %illed $har%y.
#. *ats: +uscles didn,t %ill $har%y. (5)
c. )efty: +uscles was shooting craps with $oc%o when $har%y was %noc%ed off.
d. +uscles: )efty didn,t %ill $har%y.
-ho did %ill $har%y.
!et ! eq"al t# left$ an% & eq"al t# m"scles t'en (e 'a)e * #pti#n t# %etecti)e s'arp
S#c+# : !
Fats : ~&
!eft$: ~&
&"scles: ~!
,r"t' ta-le f#r t'is pr#-lem (ill -e
! & ) ~+ ~+ ~)
, , / * * *
, F / / / *
F , * * * /
age 2 of 3
F F * / / /
.n sec#n% an% f#"rt' r#( t'ree statements is tr"e an% #ne is false an% in t'e sec#n% r#( -#t' left$ an%
m"scles are +iller t'is is n#t p#ssi-le. /ence a m"scle is t'e +iller #f s'ar+$.
Q.*: -irte the contrapositive for each of the following state&ents: (5)
a) 0f n is pri&e" then n is not divisi#le #y any pri&e nu&#er #etween 1 and 2n strictly.(Assu&e that n is
a fi(ed integer that is greater than 1)
0#n)erse
0f n is not pri&e then n is divisi#le #y any pri&e nu&#er #etween 1 and 2n strictly.
.n)erse
Any pri&e nu&#er #etween 1 and n is not divided #y 2n if n is pri&e.
#) 0f A and 3 do not have any ele&ents in co&&on" then they are dis4oint (Assu&e that A and 3 are
fi(ed sets.)
0#n)erse
0f A and 3 have any ele&ents in co&&on" then they are 4oint.
.n)erse
/hey are dis4oint if A and 3 do not have any ele&ents in co&&on.
age 3 of 3