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