Tag: theorems of boolean algebra