Алгоритм.Паскаль

[Ultar]

var
  i: byte;
  x1, x2, s: boolean;

begin
  writeln('x1':6, 'x2':6, 's':6);
  for i := 0 to 3 do
  begin
    x1 := i and 1 = 1;
    x2 := (i shr 1) and 1 = 1;
    s := not(x1 and x2) = not(x1) or not(x2);
    writeln(x1:6, x2:6, s:6);
  end;
  readln;
end.

[Sciv]

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

s=true. Всегда. Закон де Моргана, однако


А собственно вопрос-то в чем был?

[Serge_Bliznykov]

А собственно вопрос-то в чем был?

думаю, что это программа для доказательства (в виде перебора всех вариантов) тождества.

А вот в чём вопрос - это загадка!

[Ultar]

Задание-это доказать тождество,а мне нужно объяснить вот эти строки:

writeln('x1':6, 'x2':6, 's':6);
          for i := 0 to 3 do
          begin
          x1 := i and 1 = 1;
          x2 := (i shr 1) and 1 = 1;

[Sciv]

writeln('x1':6, 'x2':6, 's':6);

Выводит строку:

x1 x2 s

на экран, под каждый символ отведено 6 символов (типа форматирование, пустые забиваются пробелами слева).

for i := 0 to 3 do

Цикл-счетчик от 0 до 3, думаю, Вы и сами узнали?

x1 := i and 1 = 1;

- то же, что и

if (i and 1=1) then x1:=true else x1:=false;

следующая строчка с x2 аналогична, только условие другое - (i shr 1) and 1=1

and - операция "логическое И"
shr - операция правого сдвига.

Точнее, в данном случае обе эти операции используются для реализации битовой арифметики.

[Ultar]

Все стало понятно,большое спасибо)

[BDA]

Еще некоторые пояснения:
x1 значения true и false (0 и 1)
x2 значения true и false (0 и 1)
все варианты 00 01 10 11
цикл от 0 до 3, это цикл по числам 00 01 10 11 в двоичной системе счисления
выделяем из счетчика цикла 1 и 2 цифры
для перевода цифры в булеву перменную делаем сравнение с 1
если цифра 1, то соответствующая переменная true, иначе false

[Базиля]

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

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

s=true. Всегда. Закон де Моргана, однако


А собственно вопрос-то в чем был?

Почему же всегда?
Как раз таки не всегда

[Serge_Bliznykov]

Почему же всегда? 
 Как раз таки не всегда

Как раз таки - ВСЕГДА!

Потому что в s - результат проверки тождества.

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

совпадает ли левая часть not(x1 and x2) правой not(x1) or not(x2)

и результат ВСЕГДА true!

    x1    x2     s
 FALSE FALSE  TRUE
  TRUE FALSE  TRUE
 FALSE  TRUE  TRUE
  TRUE  TRUE  TRUE

а вообще, с циклом от 0 до 3 и вычислением x1 и x2 код замудрённый получается.
я бы в лоб так и написал:

var
  x1, x2, s: boolean;
begin
  writeln('x1':6, 'x2':6, 's':6);
  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:6, x2:6, s:6);
    end;
  readln;
end.

и короче, и нагляднее, и проще...

[Базиля]

Аааааааа вот оно что
Извиняюсь, не так понял товарища Sciv.
Я что-то сам себе намудрил и решил что во внимание берутся только левая или правая части отдельно. Т.е. это не рассматривается как равенство.
В таком случае да, если равенство то естественно всегда истина