Schaltungen, Logische Gatter und Boolesche Algebra