СОР №2 РАЗДЕЛ «Обработка информации в электронных таблицах»
сделать сор по информатике

Объяснение:

Достаточно странное задание.

¬¬X  = X

Попробуем доказать равенство методом от противного :

Пусть  ¬¬X ≠ X:

Рассмотрим левую часть :                                                                 ¬¬X  ⇔ ¬(¬X)Перепишем это уравнение:                                                            ¬(¬X)  ≠ X                    ( по идее это уже можно назвать док-вом)Подставим простое число 1 (чтобы доказать равенство в числах):                                                                                             ¬(¬1) ≠ 1  ⇔ ¬(0) ≠ 1 ⇔ 1 ≠ 1

Получившееся выражение ( 1 ≠ 1 ) не верно , ⇒  ¬¬X  = x , ч.т.д

Можно более простым смотря что от вас хотят увидеть) :

Пусть ¬¬X = X:

Преобразуем выражение :                                                               ¬¬X = X ⇔ ¬(¬X) = XПрименим инверсию к обеим частям :                                           ¬X = ¬X

Получившееся выражение ( ¬X = ¬X )  верно , ч.т.д

Ну или сразу применить инверсию ко всему выражению (Идея взята у парня в комментариях к вопросу):

¬(¬¬X) = ¬X  ⇔ ¬X = ¬X , ч.т.д

#include <iostream>
#include <iomanip>
using namespace std;

int main() {
    int n,k,m;
    cout<<"N = ";  cin>>n;
    cout<<endl;
    if (n%2!=0) {
       cout<<"недопустимое значение N: "<<n<<endl;
       return(1);
    }
    cout<<setw(12)<<"gooses"<<setw(10)<<"rabbits"<<endl;
    m=n/4;  k=(n-m*4)/2;
    while (m>=0)  {
       if (k>0) cout<<setw(10)<<k;
       else cout<<setw(10)<<"--";    
       if (m>0) cout<<setw(10)<<m;
       else cout<<setw(10)<<"--";
       cout<<endl;
       m--;  k+=2;
    }
    system("pause");
    return(0);
}