Enter the premises here (can be blank)

Enter the conjecture here

Operators, in order of precedence: ()   ~/¬   and   or   ->  ==
(where == is equivales or biconditional)