C

()

¬

p

q

r

∧

s

t

u

∨

del

→

↔

=