Soal No 6

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 : (i)    ̴ x eq x→x

 

Download : Jawaban Soal no 6