A simple propositional logic prover that checks if a given set of formulae is valid or invalid.