Лаунчер в cubixworld не отвечает. я решил скачать этот лаунчер, но как только загрузка проходит до 21 процента то лаунчер не отвечает.

Var
  i,d,n,k:integer;
begin
  Write('Введите трехзначное натуральное число: ');
  Read(n);
  k:=0;
  for i:=1 to 3 do begin
    d:=n mod 10;
    if d mod 3=0 then begin
      Inc(k);
      Write(d,' ')
      end;
    n:=n div 10
    end;
  if k>0 then Write('- цифры, кратные трем')
  else Write('Таких цифр нет')
end.

Примеры
Введите трехзначное натуральное число: 569
9 6 - цифры, кратные трем

Введите трехзначное натуральное число: 184
Таких цифр нет

Замечание: в программе считается, что цифра 0 также кратна трем (как и всем другим числам), поскольку остаток от деления от нуля на 3 равен 0.
Если это не так, то замените условие
d mod 3 = 0
на
(d mod 3 = 0) and (d>0)

ответ:

При любых A, B и C данное выражение истинно.

Объяснение:

Для начала упростим эквивалентность и импликацию.

Экивалентность (≡) раскрывается вот так:

x ≡ y = x ∧ y ∨ -x ∧ -y

Применим к нашим данным:

A ∧ B ≡ B ∧ C = (A ∧ B ∧ B ∧ C) ∨ ( -(A ∧ B) ∧ -(B ∧ C) ) =

Первая скобка упрощается по закону повторения (B ∧ B = B), а вторая скобка, а точнее отрицание раскрывается по закону де Моргана:

= (A ∧ B ∧ C) ∨ ( -A ∨ -B ∧ -B ∨ -C) =

По закону исключения третьего (A ∨ -A = 1) упрощаем запись:

= 1

На самом деле я здесь очень сильно упростил запись. На самом деле нам не помешало бы раскрыть данную дизъюнкцию, "перемножив" A на -A, A на -B, A на -C, B на -A и так далее. Но в итоге данная запись сократится в единицу.

Теперь рассмотрим импликацию (⇒):

(x ⇒ y) = -x ∧ y

Применим к нашим данным:

(-C ⇒ A) = -(-C) ∧ A =

По закону двойного отрицания (-(-C) = C):

C ∧ A

Итого наш пример принял такой вид:

1 ∨ C ∧ A

Данное выражение всегда истинно, поскольку дизъюнкция истинна в том случае, когда одно из выражений истинно, а в нашем случае левая часть (единица), то есть дизъюнкция вседа истинна.