A→B
A∧(B∧C)
(B∧C)→¬B
¬A
¬(A∧B)→C
A↔B
A
B
p
q
r
→
∧
∨
↔
¬
(
)
clear
Enter your formula to find the main connective