Assigment #2 Q7

Choose symbols to represent the truth values of phrases in the following paragraph:
"Poison caused the victim's death IFF there was a change in his blood chemistry OR a residue of poison in the stomach. There was NEITHER a change in blood chemistry NOR a residue of poison in his stomach, BUT there were puncture mark on the body.Poison was injected by the ONLY IF there were puncture marks on the body. Poison was injected by a needle ONLY IF there were puncture marks on the body. EITHER poison was the cause of the victim's death, OR there were no puncture marks on the body".
Let A = Poison caused the victim's death
B = Change in blood chemistry of the victim
C = Residue of poison in victim's stomach
D = Puncture marks in the victim's body
E = Poison was injected by a needle
Now the first statement is:
"Poison caused the victim's death IFF there was a change in his blood chemistry OR a residue of poison in the stomach" which is equivalent to A IFF (B OR C)
2nd statement:
"NEITHER a change in blood chemistry NOR a residue of poison in his stomach, BUT there were puncture mark on the body" which is equivalent to NOT(B OR C) AND D
3rd statement is:
"Poison was injected by a needle ONLY IF there were puncture marks on the body" which is equivalent to E ONLY IF D
4th statement is:
"EITHER poison was the cause of the victim's death, OR there were no puncture marks on the body" which is equivalent to A XOR NOT(D)


A IFF (B OR C) = NOT[A OR(B OR C) AND NOT(A AND (B OR C)
E ONLY IF D = NOT(D) OR E
A XOR NOT(D) = (A OR (NOT D)) AND NOT( A AND (NOT D))
--------------------------------------------------------------------------------------------------
Assignment 2 Q6
The two binary pictures listed below are pic1 and pic2. Create the following:
(1) pic1 and pic2
(2)pic1 or pic2
(3)(Not pic1)IMPL(Not pic2)

Solution:
(1)

pic1 and pic2






(2)
pic1 or pic2









(3) (NOT pic1) IMPL(NOT pic2)