Импликация раскрывается так: A → B = ~A V B (здесь ~A = НЕ А) Эквиваленция раскрывается так: A ↔ B = (~A /\ ~B) V (A /\ B) Подставляем: 1. (A /\ B) → (A V B) = ~(A /\ B) V (A V B) = ~A V ~B V A V B = 1 Формула тождественно истинна 2. (A V B) → (A /\ B) = ~(A V B) V (A /\ B) = (~A /\ ~B) V (A /\ B) = A ↔ B Формула является выполнимой 3. (A V (B ↔ A)) /\ (A → B) = (A V (~B /\ ~A) V (B /\ A)) /\ (~A V B) = Z По закону поглощения A V (B /\ A) = A, поэтому Z = (A V (~B /\ ~A)) /\ (~A V B) = (A V ~B) /\ (A V ~A) /\ (~A V B) = = (A V ~B) /\ 1 /\ (~A V B) = (A V ~B) /\ (~A V B) = = (A /\ ~A) V (~B /\ ~A) V (A /\ B) V (~B /\ B) = (~B /\ ~A) V (A /\ B) = A ↔ B Формула является выполнимой
Объяснение:
Пусть они выехали в x час.
Значит, они ехали (16 -x) час. со скоростью v км/час, проехав расстояние
s = v*(16-x) км.
Если бы скорость была на 25% больше, т.е. 1,25v, то они ехали бы (14,5-x) час., проехав то же расстояние s = 1,25v*(14,5-x).
Приравняем правые части в выражениях для s.
v*(16-x) = 1,25v*(14,5-x)
Решим относительно x, предварительно сократив v.
16-x = 1,25*(14,5-x)
16-x = 18,125 - 1,25x
1,25x -x=18,125-16
0,25x = 2,125
x= 2,125/0,25
x =8,5
ответ: выехали из дома в 8 ч. 30 мин.
A → B = ~A V B (здесь ~A = НЕ А)
Эквиваленция раскрывается так:
A ↔ B = (~A /\ ~B) V (A /\ B)
Подставляем:
1. (A /\ B) → (A V B) = ~(A /\ B) V (A V B) = ~A V ~B V A V B = 1
Формула тождественно истинна
2. (A V B) → (A /\ B) = ~(A V B) V (A /\ B) = (~A /\ ~B) V (A /\ B) = A ↔ B
Формула является выполнимой
3. (A V (B ↔ A)) /\ (A → B) = (A V (~B /\ ~A) V (B /\ A)) /\ (~A V B) = Z
По закону поглощения A V (B /\ A) = A, поэтому
Z = (A V (~B /\ ~A)) /\ (~A V B) = (A V ~B) /\ (A V ~A) /\ (~A V B) =
= (A V ~B) /\ 1 /\ (~A V B) = (A V ~B) /\ (~A V B) =
= (A /\ ~A) V (~B /\ ~A) V (A /\ B) V (~B /\ B) = (~B /\ ~A) V (A /\ B) = A ↔ B
Формула является выполнимой