SMS: Schaltalgebra