Boolean Algebra
Computer Science 1611
AND
(today is Monday) AND (it is raining) (today is Monday) AND (it is not raining) (today is Friday) AND (it is raining) (today is Friday) AND (it is not raining)
OR
(today is Monday) OR (it is raining) (today is Monday) OR (it is not raining) (today is Friday) OR (it is raining) (today is Friday) OR (it is not raining)
NOT (today is Monday) OR NOT (it is raining) (today is Monday) OR (it is raining) (today is Friday) AND NOT(it is raining) (today is Friday) AND (it is raining) (today is Monday) AND NOT(it is raining) (today is Monday) AND (it is raining) (today is Friday) OR NOT (it is raining) (today is Friday) OR (it is raining)
IMPLIES (A B)
A B is False only when A is True and B is False.
In other words, A B is True except when the premise (A) is True and the conclusion (B) is False.
A B is logically equivalent to
(NOT A) OR B
Truth Table (AND, OR, NOT)
Mon rain NOT M NOT r M AND r M OR r
T T
T F
F T
F F
Truth Table (AND, OR, NOT)
Mon rain NOT M NOT r M AND r M OR r
T T F F
T F F T
F T T F
F F T T
Truth Table (AND, OR, NOT)
Mon rain NOT M NOT r M AND r M OR r
T T F F T
T F F T F
F T T F F
F F T T F
Truth Table (AND, OR, NOT)
Mon rain NOT M NOT r M AND r M OR r
T T F F T T
T F F T F T
F T T F F T
F F T T F F
Truth Tables
A AND B is True only when both A and B are true.
A OR B is always True unless both A and B are false.
NOT A changes the value from True to False or False to True.
IMPLIES (A B)A B NOT A (NOT A) OR B A B
T T F T T
T F F F F
F T T T F
F F T T F
Writing AND, OR, NOT
A AND B = A ^ B = AB A OR B = A V B = A+B NOT A = ~A = A’ TRUE = T = 1 FALSE = F = 0
Example
Write the truth table for A(A’ + B) + AB’ (section 7.5, AE, p 308, exercise #3a)
First, write in words: A AND (NOT A OR B) OR (A AND NOT B)
Then do a truth table with the following columns: A, B, NOT A, NOT B, NOT A OR B, A AND NOT B, A AND (NOT A OR B), whole expression.
X = A (A’ + B) + AB’
A B NOT A
NOT B
NOT A OR B
A AND NOT B
A AND (A’+B)
X
T T F F T F T T
T F F T F T F T
F T T F T F F F
F F T T T F F F
Exercise
Write the truth table for (A + A’) B First, write in words. Then do a truth table.
Solution to (A + A’) B
A B NOT A A OR NOT A (A OR NOT A)
AND B
T T F T T
T F F T F
F T T T T
F F T T F
Boolean Algebra
Boolean Algebra is made up of two constants (True and False)
Several operators - AND, OR, NOT, XOR, NOR, NAND
XOR = either a or b but not both NOR = NOT OR NAND = NOT AND
Boolean Algebra
The = in Boolean Algebra means equivalent Two statements are equivalent if they have the
same truth table. For example,
True = True, a = a,
Boolean Algebra - Identities
A OR True = True A OR False = A A OR A = A A OR B = B OR A
(commutative)
A AND True = A A AND False = False A AND A = A A AND B = B AND A
(commutative)
Associative and Distributive Identities
A AND (B AND C) = (A AND B) AND C A OR (B OR C) = (A OR B) OR C A OR (B AND C) = (A OR B) AND (A OR C) A AND (B OR C) = (A AND B) OR (A AND C) Exercise: using truth tables prove -
A AND (A OR B) = A
Solution: A AND (A OR B) = A
A B A OR B A AND (A OR B)
T T T T
T F T T
F T T F
F F F F
Using Identities
A OR (B AND C) = (A OR B) AND (A OR C) A AND (B OR C) = (A AND B) OR (A AND C) A AND (A OR B) = A A OR A = A Exercise - using identities prove:
A OR (A AND B) = A = A AND (A OR B) = A A OR (A AND B) = (A OR A) AND (A OR B)
Identities with NOT
NOT (NOT A) = A A OR NOT A = True A AND NOT A = False On and on and on and on …
DeMorgan’s Laws
NOT (A OR B) = NOT A AND NOT B~ (A + B) = (~A) (~B)
NOT (A AND B) = NOT A OR NOT B~ (AB) = ~ A + ~ B
Exercise - Simplify the following with identitiesNOT (NOT A AND B)
Solving a Truth Table
1. Select lines in the table for which the result is 1 (T)2. For each of those
a) Find the P, Q valuesb) Build an AND statement with the variable itself if its value is 1 (T), and
with the negation of the variable if its value is 0 (F)
3. Use OR to connect the statements in step 2.Ref: AE Text, section 7.2, p. 281
Solving a Truth Table
A B X When you see a True value in the X column, you must have a term in the expression. Each term consists of some combination of the variables AB. The A value will be NOT A when the truth value of A is False – the B value will be NOT B when the truth value of B is false. They will be connected by OR.
T T T
T F T
F T F
F F F
For example,
X = AB + AB’ = (A AND B) OR ( A AND NOT B)
Exercise 1: Solving a Truth Table
A B X When you see a True value in the X column, you must have a term in the expression. Each term consists of some combination of the variables AB. The A value will be NOT A when the truth value of A is False – the B value will be NOT B when the truth value of B is false. They will be connected by OR.
T T T
T F F
F T T
F F F
Solve the Truth Table given above.