Question

Logically equivalent statement to $p\leftrightarrow q$ is

• A. $(p\to q)\wedge (q\to p)$
• B. $(p\wedge q)\vee (q\to p)$
• C. $(p\wedge q)\to (p\to q)$
• D. none of these

Answer 1

The correct option is A $(p\to q)\wedge (q\to p)$

$p$	$q$	$p\leftrightarrow q$
T	T	T
T	F	F
F	T	F
F	F	T

$p$	$q$	$p\to q$	$q\to p$	$(p⟶q)\wedge (q⟶p)$	$p\wedge q$	$(p\wedge q)\vee (q⟶p)$	$p⟶q$	$(p\wedge q)⟶(p⟶q)$
T	T	T	T	T	T	T	T	T
T	F	F	T	F	F	T	F	T
F	T	T	F	F	F	F	T	F
F	F	T	T	T	F	T	T	F