6. Show that (i) ̴x eq ̴(xvy) and (ii) x eq (x→y) →(x→y) from these find the equivalent formulae of x˄y, x→y and x↔y as iterated compositions of joint negations
Answer
: . . . .
Selasa, 18 September 2012
Soal No 6 (Set Theory)
6. Show that (i) ̴x eq ̴(xvy) and (ii) x eq (x→y) →(x→y) from these find the equivalent formulae of x˄y, x→y and x↔y as iterated compositions of joint negations
Senin, 17 September 2012
Soal No 5 (Set Theory)
5. Corresponding to the
statement 'neither X nor Y', the joint negation
X i Y is defined by the truth table.
Show that (i) X i Y eq ~ (X v Y) and (ii) X eq (X I X) I (X I X).
The Answer is. . . .
Langganan:
Postingan (Atom)