ECE 215 Assignment 3

  1. Prove that x y + x y' = x using postulates or previously proven theorems. Repeat the proof in Matlab using perfect induction.

  2. Draw logic diagrams for the following Boolean expressions using Altera Quartus or Cadence Capture. (See text problem 2-10)
    1. F1 = A'B' + B(A + C)
    2. F2 = BC + AC'
    3. F3 = A + CD
    4. F4 = (A + B)(C' + D)

  3. Use Matlab to obtain truth tables for each Boolean expression in the second exercise.

  4. Write Verilog modules for each Boolean expression in the second exercise. Compile each module in Quartus.

  5. Show that the dual of the exclusive-OR is equal to its complement. (text problem 2-21)

Maintained by John Loomis, last updated 25 May 2005