Containing all of your Boolean logic needs. A wealth of information and a quick reference for important formulas.
Laws of Logic
- De Morgan
- Commutative
- Associative
- Distributive
- Identity
- Idempotent
- Absorption
- Complement
- Negation
- Truth Table
Rules of Inference
- Modus Poens
- Transitivity
- Modus Tollens
- Proof by Division into Cases
- Elimination
- Generalization
- Conjunction
- Specialization
- Contradiction
- Logical Implication table
- Biconditional Tab
- Standard Proposition
- Converse
- Inverse
- Contrapositive