Materijal objašnjava osnove matematičke logike i Booleovu algebru, koja koristi simboličku logiku za opisivanje skupova i njihovih odnosa. Logički sud je izjava koja može biti istinita (1) ili lažna (0). Osnovne logičke operacije: Konjunkcija (I, AND) – istinita samo ako su obje varijable istinite. Disjunkcija (ILI, OR) – lažna samo ako su obje varijable lažne. Negacija (NE, NOT) – mijenja istinitost izjave (ako je A istinita, ¬A je lažna i obrnuto). Složeni logički izrazi nastaju kombinacijom osnovnih operacija. Ovo su temelji za digitalnu logiku i računalne sklopove.