《Memoir on the algebra of symbolic logic, part II》