Из высказываний упражнения 4.16 составьте сложные высказывания по формулам и сравните их таблицы истинности: а) Ал Ви AvB; б) Ал Ви АлВ; в) (Ал В) v (Ал В) и А → В; г) (Ал В) v…

Конечно! Давайте подробно разберем каждое высказывание и сравним их таблицы истинности.

---

Общие обозначения:

• А и В — простые высказывания (истина или ложь).
• Ал — отрицание (не А).
• v — логическая дизъюнкция (или).
• ∧ — лог conjunction (и).
• → — импликация ("если ... то ...").

---

1. Выражения и их формулы:

a) Аль Ви А∨В — предполагаю, что вы имели в виду:
(Аль) ∨ (А ∨ В) — то есть отрицание А и (А или В).

b) Аль Ви Аль В —
(Аль) ∨ (Аль В) — (отрицание А или отрицание В).

в) (Аль В) v (Аль В) и А → В —
зарезервируем:

• (Аль В) — отрицание (или "не В"? Предположим, что это "не В")
• (Аль В) — повтор, вероятно, это два выражения.
• А → В — импликация.

г) (Аль В) v (Аль В) и А Ф В —
Здесь Ф, возможно, имеется в виду операции "сложение" (xor) или что-то подобное; предположим, что Ф — логический "исключающее ИЛИ" (XOR).

д) А v Вл Аи А v В —
Кажется, тут есть опечатки, допущу, что имеется в виду:
(А v В) и (А и В) — то есть логическое "и" двух выражений.

е) А v В | A → B —
возможно, имелось в виду:
(А v В) или (A → B).

---

2. Записываем корректные формулы для сравнения:

а) ¬А ∨ (А ∨ В)

б) ¬А ∨ ¬В

в) (¬В) v (¬В) — возможно, повтор; допустим, это просто ¬В.

Также отдельно: A → B

г) (¬В) v (¬В) и A ⊕ B — XOR (исключающее ИЛИ).

д) (A v B) и (A ∧ B)

е) (A v B) или (A → B)

---

3. Таблицы истинности и сравнение

а) ¬А ∨ (А ∨ В)

А	В	¬А	А ∨ В	¬А ∨ (А ∨ В)
0	0	1	0	1 ∨ 0 = 1
0	1	1	1	1 ∨ 1 = 1
1	0	0	1	0 ∨ 1 = 1
1	1	0	1	0 ∨ 1 = 1

Результат: Эта формула всегда истинна (0 - ложь, 1 - истина). Т.к. ¬А или А Включает в себя все случаи.

---

б) ¬А ∨ ¬В

А	В	¬А	¬В	¬А ∨ ¬В
0	0	1	1	1 ∨ 1=1
0	1	1	0	1 ∨ 0=1
1	0	0	1	0 ∨ 1=1
1	1	0	0	0 ∨ 0=0

Результат: истина во всех случаях, кроме, когда А=1 и В=1.

---

в) ¬В и A → B

А	В	¬В	A→B
0	0	1	1
0	1	0	1
1	0	1	0
1	1	0	1

• A → B истина в случае (A=0), или (A=1, B=1).

---

г) (¬В) v (¬В) и A ⊕ B

• (¬В) v (¬В) — это просто ¬В.

| В | ¬В | A | B | A⊕B | | (¬В) V (¬В) |
|---|-----|---|---|-----| |--------------|
| 0 | 1 | 0 | 0 | 0 | | 1 |
| 1 | 0 | 0 | 1 | 1 | | 0 |
| 0 | 1 | 1 | 0 | 1 | | 1 |
| 1 | 0 | 1 | 1 | 0 | | 0 |

• A ⊕ B — исключающее ИЛИ, истинно, когда A и B различны.

---

д) (A v B) и (A и B)

А	В	А v В	А ∧ В
0	0	0	0
0	1	1	0
1	0	1	0
1	1	1	1

Итог: выражение (A v B) ∧ (A ∧ B) — истина только при A=1, В=1, иначе — ложь.

---

е) (A v B) или (A → B)

А	В	А v В	A → B	(A v B) v (A → B)
0	0	0	1	0 v 1 = 1
0	1	1	1	1 v 1 = 1
1	0	1	0	1 v 0 = 1
1	1	1	1	1 v 1 = 1

Выражение всегда истинно.

---

Итог:

• Некоторые выражения — тождественные (всегда истинные).
• Некоторые — зависят от входных значений.
• Таблицы помогают понять взаимосвязь и проверить равенство выражений.

---

Если потребуется, я могу помочь вам написать сравнение или выделить равносильные формулы.