SMS: Einführung in die Schaltalgebra