Элементы математической логики Логика в информатике и искусственном Пример сднф от двух переменных