Contents
- And, or, & not
- Logical Equivalence
- Implication
- More Implications
- With Subexpressions
- Application
This set of problems extends the format on page 4 to present problems closer to page 3 in interface. Specifically, the user is given a propositional expression along with the subexpressions leading up to it in building the truth table.
Click on the image below to open this problem set in a new window:
The exercises and examples referenced in these applications are from Discrete Mathematics by Doug Ensley and Winston Crawley, published by John Wiley & Sons, 2005.













