Chapter 1 Answers
Exercise 1
- This is a
FALSEproposition. - Predicate. It is equivalent to the predicate
x > 0. - This is a
FALSEproposition. - This is a
TRUEproposition. - This is a
FALSEproposition.
Exercise 2
If you compare the truth tables for A ∧ B and A | B, you’ll notice a pattern:
| A | B | A ∧ B | A | B |
T |
T |
T |
F |
T |
F |
F |
T |
F |
T |
F |
T |
F |
F |
F |
T |
Whenever expression A ∧ B is TRUE , expression A | B is FALSE, and vice versa. In other words, the first expression is the negation of the second expression. This should bring you straight to the solution for expressing the AND in terms of the NAND:
(A ∧ B) ⇔ ¬ (A | B)
If you compare the truth ...
Get Applied Mathematics for Database Professionals now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
