-(p rarr q)harr-p vv sim q

Let p and q be any two propositons Statement 1 : (p rarr q) harr q vv ~p is a tautology Statement 2 : ~(~p ^^ q) ^^ (p vv q) harr p is fallacy

Let p and q be any two propositons Statement 1 : (p rarr q) harr q vv ~p is a tautology Statement 2 : ~(~p ^^ q) ^^ (p vv q) harr p is fallacy

Which one of the following is not a contradiction? [sim p^^(p vv sim q)]^^q b.(sim p^^q)vv p c.[(p rarr q)rarr]^^sim p d.(sim q rarr sim p)harr(p rarr q)

The statement which is not a tautology is (p harr q)[(p rarr q)^^(q rarr q)] b.(p rarr q)vv(sim p rarr q) c.(p^^q)rarr(p vv q)d(p^^q)vv[(p vv q)rarr-q]

Which of the following statement is a contradiction: (1)(sim p vv sim q)vv(p vv sim q),(2)(p rarr q)vv(p^^sim q),(3)(sim p^^q)^^(sim q)

(p rArr q) rarr [(r vv p) rArr (r vv q)] is

The following statement (p rarr q)rarr[(sim p rarr q)rarr q] is: equivalent to p rarr-q(2) a fallacy a tautoloyy (4) equivalent to -p rarr q

sim(p hArr q) is (A) sim p^^q(C)(p^^-q)vv(-p^^q)(B)-p vv sim q(D) none of these