| Logic |
| Why Study Logic? |
| Computing is Logic |
| Is all Logic Computing? |
| Flavors of Logic |
| Proposition Logic |
| Mostly we use |
| Proposition Logic Domain |
| Proposition Logic Functions |
| and |
| and |
| and |
| and |
| or |
| or |
| or |
| or |
| not |
| not |
| implies |
| implies |
| implies |
| implies |
| Concise Summary (sequential convention applies) |
| Expression Forms |
| Expression Forms |
| Expression Forms |
| What WeÕll Use |
| Logical Equivalences |
| More Logical Equivalences |
| More Logical Equivalences |
| Logical Equivalences for Implies |
| More Logical Equivalences for Implies |
| Checking Relations using
Full Enumeration or ÒTruth TableÓ method |
| Example: Checking Relations
using Full Enumeration or ÒTruth TableÓ method |
| Checking Relations using
the Boole-Shannon Principle |
| Example |
| Boole and Shannon |
| Boole and Shannon |
| Tautologies |
| How to Check
Equivalences http://www.cs.hmc.edu/~keller/javaExamples/taut/ |
| How to Check Equivalences |
| How to Check Equivalences |