There are two ways to look at the Boolean algebra theorems. The first is by an exhaustive search – in other words, if you’re stating that x + y = (x^ * y^)^ then you could plug in ever…
