Unformatted text preview: !(a || b) == (!a && !b) • (You can show this by making truth tables for the expressions on either side of the == operator.) mystery operator Notation : ※ a b a ※ b F F T F T T T T F T F T Equivalence puzzle Let's say you have a "mystery operator," notated ※ and with the truth-table given at right. Using only the mystery operator, devise expressions that are equivalent to a && b , a || b , and !a . Hint 1: Solve "not" ﬁrst. Hint 2: Use DeMorgan's Law Goals: This handout gives an overview of the basic logical connectives: their names, their symbols in logical notation, and the operators to express them in Java syntax. It also presents DeMorgan's Law and features a puzzle involving ﬁnding logical equivalences. logic-puzzle.grafﬂe: Created on Thu Feb 16 2006; modiﬁed on Sun Jul 09 2006; page 1 of 1 Copyright © 2006 Will C. Benton...
View Full Document
- Fall '07
- DeMorgan, Basic Logical Connectives, mystery operator