Boole–Schröder-algebra