The calculus of logic

by George Boole

and so on.

In like manner we shall have

Furthermore, from consideration of the nature of the mental operation involved, it will appear that the following laws are satisfied.

Representing by

,

,