ECE 2020 Digital Design
Prof. Matthieu Bloch
Monday, August 25, 2025 (v1.0) - More Boolean Functions
Last time
- Last time
- We talked about Boolean functions and how to manipulate them
- We introduced theorems - these are not just to be fancy!
- We need to properly manipulate boolean expressions without making
mistakes
- To be effectively prepared for today you should
have:
- Read textbook Sections 1.2, 1.4, 3.0-3.1 (we have not covered
everything yet)
- Read your notes and reviewed the examples
- Today
- We will introduce standard forms of functions as
"products of sum" and "sum of products"
- We probably won't have time to introduce devices
that implement boolean functions
- Be ready!
- You will be asked to doodle a few things on a writing support
- We will take a quizz on canvas to see if my attendance taking system
works
Axiomatic construction of Boolean algebra
- Objective: define rules to manipulate functions and
variables without directly evaluating
- Axioms:
- If \(X\neq 1\) then \(X=0\) and vice versa
- Tables of NOT, AND, OR
- We can now prove a lot of "theorems" that make the manipulation of
boolean functions easier
Simplifications of functions
- Example 1: \(F = B\cdot
C+B\cdot \overline{C} + B\cdot A\)
- Example 2: \(F=A +
\overline{A}\cdot B+\overline{A}\cdot\overline{B}\cdot C +
\overline{A}\cdot\overline{B}\cdot\overline{C}\cdot
D+\overline{A}\cdot\overline{B}\cdot\overline{C}\cdot\overline{D}\cdot
E\)
- Example 3: Show that \(\overline{A(\overline{B}\cdot \overline{C}+B\cdot
C)}=\overline{A}+(B+C)(\overline{B}+\overline{C})\)
Until next time
- To be effectively prepared for Wednesday August 27, 2025,
you should:
- Read textbook Sections 1.2, 1.4, 3.0-3.1 (we have covered most
things)
- Read your notes and review the examples
- Next time
- We will talk about Karnaugh maps
- We will introduce devices that implement boolean
functions
- What to expect later today (on Canvas)
- Detailed tentative schedule
- Office hours location and time
- First homework!