6.5 Digital circuits and logic gates

Digital circuits Logic gates

We will require an understanding of digital circuits to implement a mechanical switch debouncing circuit introduced in Section 6.8 and built in Lab Exercise 6. Recall from Section 4.2 that a digital signal usually represents one of two values at each moment, typically called true or \(1\) and false or \(0\). A digital circuit is a circuit that carries digital signals and usually contains circuit elements called logic gates, electronic components that perform logical operations with the truth-values of digital signals. We require a logical formalization to proceed to logic gates.

Logic gates

6.5.1 Symbolic propositional logic

Logic!symbolic propositional There are many logics,¹ but symbolic or propositional logic is sufficient for our purposes. Statements can have truth valuesLogic!truth values of true or false, represented by the symbols …