Sakelar adalah perangkat yang ditempatkan pada suatu titik dalam rangkaian listrik dan mengendalikan aliran arus melalui rangkaian tersebut. Setiap sakelar memiliki dua keadaan yang mungkin: sakelar dapat terbuka sehingga tidak mengizinkan arus melewati rangkaian, atau dapat tertutup sehingga mengizinkan arus mengalir. Kedua keadaan ini saling eksklusif. Kita mensyaratkan bahwa setiap sakelar berada dalam salah satu keadaan tersebut—sakelar tidak dapat terbuka dan tertutup pada saat yang sama. Selain itu, jika suatu sakelar selalu berada dalam keadaan yang sama dengan sakelar lain, kita menyatakan keduanya dengan huruf yang sama; artinya, dua sakelar yang sama-sama diberi label \(a\) akan selalu terbuka pada saat yang sama dan tertutup pada saat yang sama.