Ответы на вопрос:
Импликация раскрывается так: 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 формула является выполнимой
Популярно: Алгебра
-
luzgina1102.04.2023 17:47
-
kuku228818.04.2023 14:42
-
hopesegul04.07.2022 20:23
-
ланя213.03.2020 19:37
-
Еленка87105.05.2021 15:40
-
Pacan4ikForever21.10.2021 17:37
-
darina234002.08.2021 23:30
-
простокрис04.03.2021 17:40
-
вау190510.06.2021 00:00
-
Дейлионна11.02.2020 13:05