Tag: proof of boolean algebra theorems