4. A & ¬(¬B ∨ C) ↔ A & B & ¬C (высказывания являются эквивалентными)
5. ложное
Объяснение:
3.
(¬A & B) ∨ (A & ¬B) ∨ (A & B) = (¬A & B) ∨ (A & B) ∨ (A & ¬B) = B & (¬A ∨ A) ∨ (A & ¬B) = B & 1 ∨ (A & ¬B) = B ∨ (A & ¬B) = (B ∨ A) & (B ∨ ¬B) = (B ∨ A) & 1 = B ∨ A
Согласно переместительному закону:
(¬A & B) ∨ (A & ¬B) ∨ (A & B) = (¬A & B) ∨ (A & B) ∨ (A & ¬B)
Согласно распределительному закону для логического сложения:
(¬A & B) ∨ (A & B) = B & (¬A ∨ A)
Согласно закону исключения третьего:
¬A ∨ A = 1
Согласно закону исключения констант для логического умножения:
B & 1 = B
Согласно распределительному закону для логического умножения:
B ∨ (A & ¬B) = (B ∨ A) & (B ∨ ¬B)
Согласно закону исключения третьего:
B ∨ ¬B = 1
Согласно закону исключения констант для логического умножения:
(B ∨ A) & 1 = B ∨ A
4.
A & ¬(¬B ∨ C) = A & ¬(¬B) & ¬C = A & B & ¬C
Согласно закону де Моргана:
¬(¬B ∨ C) = ¬(¬B) & ¬C
Согласно закону двойного отрицания:
¬(¬B) = B
A & ¬(¬B ∨ C) ↔ A & B & ¬C
(высказывания являются эквивалентными)
Составим таблицы истинности для доказательства эквивалентности (картинки)
5.
(¬(X < 5) ∨ (X < 3)) & (¬(X < 2) ∨ (X < 1)) при X = 1
Подставим значение X в высказывание, а затем определим истинность или ложность
Var N,B,k:integer; Begin Write('N = ');ReadLn(N); Write('Искомые числа:'); For N:= 1 to N do Begin B:=N; k:=1; // перед каждой проверкой k:=1 // и если число не делится на любую из своих цифр, то k:=0 While B > 0 do Begin if B mod 10 = 0 then k:=0 // B mod 10 - это остаток от деления B на 10 // то есть, например, 123 mod 10 = 3 else if N mod (B mod 10) > 0 then k:=0; B:=B div 10 // целая часть от деления B на 10 // 123 div 10 = 12 End; if k = 1 then Write(' ',N) End; End.
3. B ∨ A
4. A & ¬(¬B ∨ C) ↔ A & B & ¬C (высказывания являются эквивалентными)
5. ложное
Объяснение:
3.
(¬A & B) ∨ (A & ¬B) ∨ (A & B) = (¬A & B) ∨ (A & B) ∨ (A & ¬B) = B & (¬A ∨ A) ∨ (A & ¬B) = B & 1 ∨ (A & ¬B) = B ∨ (A & ¬B) = (B ∨ A) & (B ∨ ¬B) = (B ∨ A) & 1 = B ∨ A
Согласно переместительному закону:
(¬A & B) ∨ (A & ¬B) ∨ (A & B) = (¬A & B) ∨ (A & B) ∨ (A & ¬B)
Согласно распределительному закону для логического сложения:
(¬A & B) ∨ (A & B) = B & (¬A ∨ A)
Согласно закону исключения третьего:
¬A ∨ A = 1
Согласно закону исключения констант для логического умножения:
B & 1 = B
Согласно распределительному закону для логического умножения:
B ∨ (A & ¬B) = (B ∨ A) & (B ∨ ¬B)
Согласно закону исключения третьего:
B ∨ ¬B = 1
Согласно закону исключения констант для логического умножения:
(B ∨ A) & 1 = B ∨ A
4.
A & ¬(¬B ∨ C) = A & ¬(¬B) & ¬C = A & B & ¬C
Согласно закону де Моргана:
¬(¬B ∨ C) = ¬(¬B) & ¬C
Согласно закону двойного отрицания:
¬(¬B) = B
A & ¬(¬B ∨ C) ↔ A & B & ¬C
(высказывания являются эквивалентными)
Составим таблицы истинности для доказательства эквивалентности (картинки)
5.
(¬(X < 5) ∨ (X < 3)) & (¬(X < 2) ∨ (X < 1)) при X = 1
Подставим значение X в высказывание, а затем определим истинность или ложность
(¬(1 < 5) ∨ (1 < 3)) & (¬(1 < 2) ∨ (1 < 1)) = (¬(истина) ∨ (истина)) & (¬(истина) ∨ (ложь)) = (ложь ∨ истина) & (ложь ∨ ложь) = истина & ложь = ложь
Общий порядок действий:
1) скобки
2) НЕ (¬, черта над выражением) - значение противоположно исходному высказыванию
3) И (&, ∧) - истинно, когда оба исходных высказывания истинны
4) ИЛИ (∨) - ложно, когда оба исходных высказывания ложны
Begin
Write('N = ');ReadLn(N);
Write('Искомые числа:');
For N:= 1 to N do
Begin
B:=N;
k:=1;
// перед каждой проверкой k:=1
// и если число не делится на любую из своих цифр, то k:=0
While B > 0 do
Begin
if B mod 10 = 0 then k:=0
// B mod 10 - это остаток от деления B на 10
// то есть, например, 123 mod 10 = 3
else if N mod (B mod 10) > 0 then k:=0;
B:=B div 10
// целая часть от деления B на 10
// 123 div 10 = 12
End;
if k = 1 then Write(' ',N)
End;
End.