Народ нужна помощь!

[EVILKRE]

Доброго времени суток! Прошу помочь с пониманием следующей дилемы... Почему программа выдает ответ " 1 ", ведь условие if (a=true and b=true) не должно выполняться при ложных значениях обеих переменных ???

КОД

var
a,b:boolean;
begin
a:=false;
b:=false;


if (a=true and b=true) then begin
Writeln('1');
end;

if (a and b) then begin
Writeln('2');
end;


if (a=true) and (b=true) then begin
Writeln('3');
end;

if (a) and (b) then begin
Writeln('4');
end;

sleep(5000);
end.

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

Доброго времени суток! Прошу помочь с пониманием следующей дилемы... Почему программа выдает ответ " 1 "

Это где она выдает такой ответ?
У меня Turbo Pascal отказался запускать такую программу, ругаясь на строчку

if (a=true and b=true) then begin

требуя закрывающую скобку сразу после b.

Здесь он читал выражения слева направо
1. a=true - это логическое выражение
2. Операция AND, операнд к который мы только что прочитали.
3. Переменная логического типа b.
++++++++++

Если убрать этот участок кода

if (a=true and b=true) then begin
Writeln('1');
end;

Программа не выведет вообще ничечго, что логично.

Заключайте составные логические выражения в скобки.

[EVILKRE]

if (a=true and b=true) then begin

требуя закрывающую скобку сразу после b.


Попробуйте запустить в DELPHI (7 - XE6). Ошибку выдавать не будет. Только вот ответ - "1" . Что делать и как это понять ?

[Utkin]

if (a=true and b=true) then begin

Наверно должно выглядеть как:

if (a=true) and (b=true) then begin

[Аватар]

a=true and b=true
Компилятор такое допускает в определенных ситуациях. Для следующей не допустит

var a,b: Integer;
if a=0 AND b=0 ...

По примеру c учетом приоритетов операций:

сначала: True and b => False
дальше: a=False => True
и, наконец: True=True => True
И, о счастье: Сообщение "1"

Делай так:

if (a=true) and (b=true) then ...
или еще лучше
if a and b then ...

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

Егений

var a,b: Integer;
if a=0 AND b=0 ...

Тут будет ругань на несоответствие типов. даже удостоверяться не буду

[Аватар]

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

Тут будет ругань на несоответствие типов. даже удостоверяться не буду

А я это и написал. Ключевая фраза: Для следующей не допустит

[EVILKRE]

Всем спасибо! Гуд, теперь понятно