\sectionLogička vrata Booleove funkcije implementiraju se logičkim vratima (I, ILI, NE). Svaka digitalna sklopovska shema može se opisati tablicom istinitosti.
\beginteorem[Zakon kontrapozicije] $(p \implies q) \iff (\neg q \implies \neg p)$. \endteorem diskretna matematika pdf
Operacije nad skupovima: \beginitemize \item Unija: $A \cup B = \x : x \in A \text ili x \in B\$ \item Presjek: $A \cap B = \x : x \in A \text i x \in B\$ \item Komplement: $A^c = \x \in U : x \notin A\$ \enditemize diskretna matematika pdf
\appendix \chapterTablica istinitosti za osnovne operacije \begintabularc \hline $p$ & $q$ & $p \land q$ & $p \lor q$ & $p \implies q$ \\ \hline 0 & 0 & 0 & 0 & 1 \\ 0 & 1 & 0 & 1 & 1 \\ 1 & 0 & 0 & 1 & 0 \\ 1 & 1 & 1 & 1 & 1 \\ \hline \endtabular diskretna matematika pdf