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

Конечно! Давайте подробно разберем каждое высказывание и сравним их таблицы истинности. --- **Общие обозначения:** - **А и В** — простые высказывания (истина или ложь). - **Ал** — отрицание (не А). - **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 | *Выражение всегда истинно.* --- ### Итог: - Некоторые выражения — тождественные (всегда истинные). - Некоторые — зависят от входных значений. - Таблицы помогают понять взаимосвязь и проверить равенство выражений. --- Если потребуется, я могу помочь вам написать сравнение или выделить равносильные формулы.