Search
Duplicate

T

p -> q
T
p <-> q
T
p AND q
T
p OR q
T
q
T
~p
F