Due Wednsesday 26 Sept. 2008 in class at beginning of class.
In the following table ! preceeding an input specifies NOT
|
Laws Identity Null Itempotent Inverse Commutative Associative Distributive Absorption De Morgan's Cancelation |
AND 1*A=A 0*A=0 A*A=A A*!A=0 A*B=B*A (A*B)*C=A*(B*C) A+B*C=(A+B)*(A+C) A*(A+B)=A !(A*B)=!A+!B !!A=A |
OR 0+A=A 1+A=1 A+A=A A+!A=1 A+B=B+A (A+B)+C=A+(B+C) A*(B+C)=A*B+A*C A+A*B=A !A*!B=!(A+B) |
General rule: When given a combination of ANDs, ORs and NOTs, NOTS applied to particular input are applied first, then ANDS, then ORs. Statements inside parens resolved before those outside.
All problems are to be done by hand with pencil. Typed assignments not
accepted.
Part 1 - Absorption 5 points
Prove the AND form of absorption using the other rules. Do NOT use the OR form of absorption as a shortcut.
Part 2 - Simplification 5 points each
For each of the following problems, simplify the statements using boolean algebra.
Example:
Problem: F=S*T+V*W+R*S*T
| F=S*T+R*S*T+V*W | - Commutative law |
| F=1*S*T+R*S*T+V*W | - Identity law |
| F=(1+R)*S*T+V*W | - Distributave(or) |
| F=1*S*T+V*W | - Null |
| F=S*T+V*W | - Identity law |
Simplify the equation. Show your work and name the rules as they are applied. You may use any rule except absorption and you don't have to state the commutative and associative rules when applied. The solution for each problem is stated on the right of the =
|
A. A*B*C+A*B+C = A*B+C B. A*(B+A+C) = A C. A*C+C(!A+A*B) = C |
D. (A+B*C*D+E)*E*D = D*E E. (A+B)(A+C)(!A+C) = (A+B)*C |
Give the truth table for each statement. With the help of the truth table, click here for blank tables, use boolean rules to simpify each statement. Show your work and name the rules as they are applied. Distribution as a first step may prove helpful for several of these.
| A. X+!X+Y | |
B. X*(!X+Y) | |
C. X*(!X*Y) |
| D. !X*(X+!Y) | |
E. !X+X*Y | |
F. !(!X*!X+Y) |
For E., try substituting A for !X, B for X, C for Y and use distribution. Then substitute back and simplify.
Part 4 - 5 Points each
Simplify the equation. Show your work and name the rules as they are applied. You may use any rule except absorption and you don't have to state the commutative and associative rules when applied.
| A. C*(A+B+!(!C+!D))*D | B. !((A*B+B*!C)*A) | C. (A+B*C*D+A*E)*D*E |