Обозначим P,Q,A утверждение что х принадлежит соответствующему отрезку ¬А отрицание А, то есть х не принадлежит А перепишем и упростим исходную формулу P→((Q∧¬A)→P) известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности) тогда: P→(¬(Q∧¬A)∨P) раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности) P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P ¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать остается ¬Q∨A Значит х либо принадлежит А либо не принадлежит Q для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q ответ А=[40,77]
using namespace std;
string evenOrOdd(int n)
{
if (n % 2 == 0) {
return "чётное";
}
else {
return "нечётное";
}
}
string digitCount(int n)
{
if ( (int) n / 1000 > 0 ) {
if (n > 9999){
return "n-значное";
}
else {
return "четырёхзначное";
}
}
else if ( (int) n % 1000 / 100 > 0 ) {
return "трёхзначное";
}
else if ( (int) n % 100 / 10 > 0 ) {
return "двузначное";
}
else {
return "однозначное";
}
}
int main()
{
int n;
cout << "n = ";
cin >> n;
cout << evenOrOdd(n) << ' '
<< digitCount(n) << ' '
<< "число" << endl;
return 0;
}