Доказать тождество.Паскаль

[Ultar]

Доказать тождество:

not(x1 and x2)= not(x1) or not(x2)

 uses crt;
   var x1,x2,k,a,b : boolean;
begin
clrscr;
a:= not(x1 and x2);
b:= not(x1) or not(x2);
if a=b then k:=k+1;
x2:=true; x1:=false;
if a=b then k:=k+1;
if k=4 then writeln('Toshdestvo verno') else writeln('Toshdestvo neverno');
readln;
end.

[Вадим Мошев]

И что вы хотите?

всё проще намного

s:= not(x1 and x2)= not(x1) or not(x2);

if s then writeln('Верно') else writeln('НЕверно');

[Ultar]

На самом деле,все намного проще,а я там напридумывал.Спасибо

[Вадим Мошев]

пожалуйста........

[АМД]

Сообщение от Вадим Мошев

И что вы хотите?

всё проще намного

s:= not(x1 and x2)= not(x1) or not(x2);

if s then writeln('Верно') else writeln('НЕверно');

В данном случае проверяется справедливость только при x1 и x2, имеющих значение False, а надо проверять и все остальные случаи.

[Aleksandr H.]

Сообщение от АМД

В данном случае проверяется справедливость только при x1 и x2, имеющих значение False, а надо проверять и все остальные случаи.

А данном случае не говорится какие значения х1 и х2.

[Аватар]

Скобки правильно расставь

s:= not(x1 and x2)= (not(x1) or not(x2));

[АМД]

Сообщение от Aleksandr H.

А данном случае не говорится какие значения х1 и х2.

Под тождеством понимают такое выражение , которое справедливо при любых значениях переменных.

[Serge_Bliznykov]

Сообщение от АМД

В данном случае проверяется справедливость только при x1 и x2, имеющих значение False, а надо проверять и все остальные случаи.

Вы хотели что-то такое?

isTGood := true;
for x1:=False to True do
  for x2:=False to True do begin
     s:= not(x1 and x2)= (not(x1) or not(x2));
     WriteLn(' при x1 = ',x1,' x2 =',x2, ' тождество равно ',s);
     if not s then isTGood := false;
  end;

if  isTGood 
then WriteLn('Тождество было истинным при всех вариантах x1 и x2 => оно верное')
else WriteLn('Тождество не было истинным в некоторых случаях => оно неверное');

[АМД]

Сообщение от Serge_Bliznykov

Вы хотели что-то такое?

isTGood := true;
for x1:=False to True do
  for x2:=False to True do begin
     s:= not(x1 and x2)= (not(x1) or not(x2));
     WriteLn(' при x1 = ',x1,' x2 =',x2, ' тождество равно ',s);
     if not s then isTGood := false;
  end;

if  isTGood 
then WriteLn('Тождество было истинным при всех вариантах x1 и x2 => оно верное')
else WriteLn('Тождество не было истинным в некоторых случаях => оно неверное');

Однако параметр цикла не во всех компиляторах Pascal может иметь логический тип.

Ну а я так-то ничего не хотел.
Просто наткнулся на неправильное понимание тождества.
Я математик. поэтому не мог мимо этого пройти.