An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities

united algebra and logic replaced propositional form of Aristotle's logic to equation-like formulae and introduced "laws" which can solve them logical formulae could contain more than two subject-predicate propositions (i.e. no A that is B is C that is D) introduced logic functions and truth tables