\sectionLogička vrata Booleove funkcije implementiraju se logičkim vratima (I, ILI, NE). Svaka digitalna sklopovska shema može se opisati tablicom istinitosti.
\sectionPropozicijska logika Propozicije su tvrdnje koje su ili istinite ili lažne. Veznici: \beginitemize \item Konjunkcija: $p \land q$ (i) \item Disjunkcija: $p \lor q$ (ili) \item Negacija: $\neg p$ (ne) \item Implikacija: $p \implies q$ (ako $p$ onda $q$) \enditemize diskretna matematika pdf
\chapterTeorija grafova