Айым решила запрограммировать рисование национального орнамента

Program pr;
uses crt; 
Var a,b,c:integer; 

Begin   
Write('Введите 1-ю сторону: '); Readln(a);   
Write('Введите 2-ю сторону: '); Readln(b);   
Write('Введите 3-ю сторону: '); Readln(c); 
  
{Проверка на существование треугольника} 
if ((a+b)>c) and ((a+c)>b) and ((b+c)>a)   then        
     Begin                     
          if ((a=b)or (b=c) or (a=c)) then               
                Writeln('Треугольник равнобедренный');                       
 
         if ((a=b) and (b=c)) then               
            Writeln('Треугольник равносторонний')                 
         else Writeln('Треугольник разносторонний');           
  
        if ((a*a+b*b = c*c) or (a*a+c*c = b*b) or (b*b+c*c = a*a))    then
             Writeln('Треугольник прямоугольный');                      
    end   
   else       Writeln('Треугольник нельзя построить');    

Readln(); 
END.

Объяснение:

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

¬¬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 , ч.т.д