Die Schaltalgebra ist eine spezielle Ausprägung der Booleschen Algebra mit einer zweiwertigen Trägermenge. Sie ist auf Schaltanordnungen zugeschnitten und dient als Hilfsmittel zur Berechnung binärer Schaltnetze und Schaltwerke. Dabei bildet sie das logische Gerüst zur Darstellung von Schaltfunktionen. Der Begriff binär bezieht sich in der Schaltalgebra auf die beiden Schalterzustände Geöffnet und Geschlossen.
Die Schaltalgebra ist isomorph zur Aussagenlogik. Deshalb werden in ihr die typischen Begriffe und Operatornamen der Aussagenlogik benutzt, und der Begriff „Logik“ kennzeichnet oft die verwendeten technischen Elemente (z. B. Logikgatter).