Truth Tables and De Morgan's Rules
Read this chapter, which discusses Boolean variables as used in decision tables. Truth tables are used to collect variables and their values relative to decisions that have to be made within control structures.
9. Equivalent Boolean Expressions
Answer:
speed > 2000 | (speed <= 2000) | !(speed <= 2000) |
|---|---|---|
F | T | F |
T | F | T |
Equivalent Boolean Expressions
The original program fragment used this boolean expression
!(speed > 2000 && memory > 512)
which is explained in the following truth table (repeated from a previous page):
speed > 2000 | memory > 512 | speed > 2000 && memory > 512 | !(speed > 2000 && memory > 512) |
|---|---|---|---|
F | F | F | T |
F | T | F | T |
T | F | F | T |
T | T | T | F |
An equivalent program fragment used this boolean expression
speed <= 2000 || memory <= 512
which is explained in the following truth table:
speed > 2000 | memory > 512 | speed <= 2000 | memory <= 512 | speed <= 2000 || memory <= 512 |
|---|---|---|---|---|
F | F | T | T | T |
F | T | T | F | T |
T | F | F | T | T |
T | T | F | F | F |
Each table has the same first two columns. The true/false values in the last column of each table are the same, which shows that the two boolean expressions are equivalent. One expression can be used in place of the other in a program.
Question 9:
Is there only one correct way to write an if statement in a program?