Search
Duplicate

T

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