Boolesche Algebra - Egger, Alois (1980)