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