Systematische Herleitung logischer SchaltungenH. Glättli1958ZAMP Zeitschrift für angewandte Mathematik und Physik