Q22,p3,J15. The clausal form of the disjunctive normal form ~Av~Bv~C v D is

Options

A)     A^B^C->D           B)AvBVCVD->True.         C)A^B^C^D->true           D)A^B^C^D->false.

Answer A.

Explanation

~Av(~Bv~C)vD.

~AV ~(B^C)VD.

~(A^B^C)VD.

We know A-> B = ~AV B.

So it turns out to be A^B^C->D.