(X → Y ) ∨ ((X ∧ ¬Z) → T )
Все выражение принимает значение ложь, если оба выражения по результату дизъюнкции будут ложными.
1. Рассмотрим первое выражение в скобках X → Y
Импликация ложна, когда Х=1, а Y=0.
2. Рассмотрим второе выражение в скобках
(X ∧ ¬Z) → Т. Оно состоит из двух частей.
Результат конъюнкци X ∧ ¬Z должен быть истиной. Х=1 из первого пункта. Чтобы X ∧ ¬Z был истиной, инверсия Z должна должна быть тоже истиной. Значит, Z=0.
Имеем, что X ∧ ¬Z истина.
Импликация (X ∧ ¬Z) и Т будет ложна, если Т=0.
Таким образом, из первого пункта следует, что
X= 1
Y=0
Из второго
Z=0
T=0
Таблица истинности (скрин) прикрепляется.
Код Pascal
const
nmax = 100;
var
a: array[1..nmax] of integer;
i: byte;
n, m, s: integer;
begin
Writeln('Введите длину массива: ');
Read(n);
Writeln('Введите значения элементов массива');
for i := 1 to n do
begin
write('a[', i, ']=');
read(a[i]);
if a[i] = 4 then s += a[i];
end;
if s > 0 then Writeln('Сумма элементов: ', s)
else Writeln('Нет числа 4');
end.
Тестовое Решение
Введите длину массива:
4
Введите значения элементов массива
a[1]=5
a[2]=3
a[3]=4
a[4]=4
Сумма элементов: 8