29. Проблема разрешимости (разрешения) для класса однотипных задач. Проблема раз Скнф и сднф по таблице истинности