Написать программу на турбо паскале на вычисление произведения чисел a и b

Program Turbo;

uses Crt;

var
  a,b,r:real;

begin
  Write('Введите a и b через пробел: ');
  Readln(a,b);
  r:=a*b;
  Writeln('Произведение равно ',r);
  ReadKey
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 , ч.т.д

Практически все современные сетевые карты позволяют изменить мак-адрес в настройках системы. Поэтому, если адрес был изменен в настройках системы, а потом система была переустановлена, то эти настройки - сбросились и мак-адрес вернется к в сетевой карте. В этом случае, понятно, физический адрес компьютера - ИЗМЕНИТСЯ.

Данная ситуация актуальна в том случае, когда со стороны провайдера открыт доступ только по определенному мак-адресу. В таком случае прежде чем переустанавливать операционную систему не поленитесь переписать физический адрес на бумажку, чтобы узнать его надо в командной строке набрать

ipconfig /all

В ответ появится что-то наподобиее этого:

Описание . .: D-Link AirPlus DWL-G650 Wireless

Физический адрес. . : 00-11-95-DB-3F-E4

IP-адрес . .: 10.7.0.69

Маска подсети . .: 255.255.255.0

Основной шлюз . .: 10.7.0.67

DNS-серверы . .: 10.7.0.69