Tag: theorems in boolean algebra