Алгоритм приведения к сднф Таблица истинности операции определения и примеры