The application generates truth tables for propositional calculus and contains proofs.
You will find proof of many logical expressions here. If you are a student or simply fascinated by logic, this application is definitely for you.
You can generate any truth table you want.
Truth Tables | Proofs | Logic Calculator | Boolean Algebra | Learn | Logic