[" Q.11.Using the rules in logic,write the "],[" i) "(p vv q)^^(q vv sim r)]

Using rules in logic, prove the following: ~(pvvq)vv(~p^^q) -= ~P

Using the rules in logic, write the negations of the following: (~p^^q)vv(p^^~q)

Simplify (p vv q) ^^ (p vv ~q) .

Using rules in logic, prove the following: p harr q -= (p^^~q)vv~(q^^~p) corrected as p harr q -=~(p^^~q)^^~(q^^~p)

Answer the following questions Using truth table prove that p vv (q ^^ r) -= (p vv q) ^^ (p vv r)

The dual of the statement sim p^^[sim q^^(p vv q)^^sim r] is

" The dual of statement p vv(q^^r)-=(p vv q)^^(p vv r) is "

Write the duals of the following statements : (i) ( p vv q) ^^t (ii) p vv t) ^^ r (iii) ( p vv q) vv c Where t denotes tautology and c denotes contradiction.