Алгебра логики и техническая реализация процесса вычисления