Stav dette: An introduction to logical design of digital circuits