EEE 143 — Switching Theory and Digital Logic Design