Propositional logic Solver

Propositioanal Variables are defined as single upper case letters:

P, Q

Negation is:

~

Conjunction

^

Disjunction

v

Implication

->

Equivalence

<->

Brackets as well:

()