Mehrfach-Literalfehler in logischen Funktionen und Verfahren zur Testerzeugung für SchaltnetzeBewachen