boolean algebra theorems | postulates & theorems |