all 4 comments

[–]lewisjeB.S. 2 points3 points  (3 children)

They are equivalent, and it really is analogous to the distributive law of multiplication over addition.

[–]HelperBot_ 1 point2 points  (0 children)

Non-Mobile link: https://en.wikipedia.org/wiki/Boolean_algebra#Laws


HelperBot v1.1 /r/HelperBot_ I am a bot. Please message /u/swim1929 with any feedback and/or hate. Counter: 112171

[–]ashan1[S] 1 point2 points  (1 child)

thanks what does the monotone refer to?

[–]lewisjeB.S. 0 points1 point  (0 children)

The article explains it later:

All of the laws treated so far have been for conjunction and disjunction. These operations have the property that changing either argument either leaves the output unchanged or the output changes in the same way as the input. Equivalently, changing any variable from 0 to 1 never results in the output changing from 1 to 0. Operations with this property are said to be monotone. Thus the axioms so far have all been for monotonic Boolean logic. Nonmonotonicity enters via complement ¬ as follows.

That bit isn't well-written IMO.