Objectives
- Use Boolean operators in expressions
- Complete a truth table
- Use relational operators in expressions
- Use logical operators in expressions
A | B | !A | !B | A && B | A || B |
---|---|---|---|---|---|
true | true | false | false | true | true |
true | false | false | true | false | true |
false | true | true | false | false | true |
false | false | true | true | false | false |
There are a couple of extremely useful transformations for propositional logic that seem to have been known since at least the time of Aristotle. Augustus De Morgan introduced the formal version of the following two transformation laws for propositional logic in the 1800s.
A | B | !(A || B) | (!A) && (!B) | !(A && B) | (!A) || (!B) |
---|---|---|---|---|---|
true | true | false | false | false | false |
true | false | false | false | true | true |
false | true | false | false | true | true |
false | false | true | true | true | true |
There are six relational operators. All will evaluate to true or false.
DisplayTruthTable.java: displays a truth table