"boolesche Summe" Englisch