George Boole, born in 1815, is recognized for having created the algebra that we use in our programs for conditional expressions and in computation...

George Boole, born in 1815, is recognized for having created the algebra that we use in our programs for conditional expressions and in computational devices for the implementation of logical circuits. His book 'The __________ Analysis of __________' (1847) constitutes the basis for the development of digital computers. In it, Boole presented the formal __________ of logic on which the field of symbolic logic is built. Boole used the symbols and operations of __________ when creating his logic system. He associated the value 1 with the __________ set, representing all things in the universe, and the value 0 with the __________ set. He restricted his system to these quantities and defined operations that are analogous to subtraction, addition, and multiplication. Choose the alternative that correctly and respectively completes the blanks:


Logic, Mathematics, axioms, algebra, universal, empty.
Mathematics, Logic, theorems, geometry, universal, empty.
Mathematics, Logic, theorems, algebra, universal, empty.
Mathematics, Logic, axioms, algebra, empty, universal.
Mathematics, Logic, axioms, algebra, universal, empty.