Stav dette: Boolean algebra and its applications