Dual of consensus theorem proof | Boolean algebra