Tag: basic theorems of boolean algebra