Разработал алгебру логики