2. Доказать формулу: a) overline A ^ B = overline A vee overline B б) ( A vee B) vee C=A vee(B vee C)
Давайте рассмотрим оба утверждения и доказательства для каждого из них.
a) Доказать формулу: \(\overline{A} \land B = \overline{A} \vee \overline{B}\)
Эта формула представляет собой закон де Моргана. Давайте объясним, что она означает, и как это доказать:
Определение операций:
- \(\overline{A}\) — логическое отрицание A (если A истинно, то \(\overline{A}\) ложно).
- \(A \land B\) — логическое "и" (оба A и B должны быть истинными, чтобы результат был истинным).
- \(A \vee B\) — логическое "или" (хотя бы одно из A или B должно быть истинным).
Доказательство с помощью таблицы истинности: Создадим таблицу истинности для обоих выражений:
\[ \begin{array}{|c|c|c|c|c|c|} \hline A & B & \overline{A} & \overline{B} & \overline{A} \land B & \overline{A} \vee \overline{B} \\ \hline 0 & 0 & 1 & 1 & 0 & 1 \\ 0 & 1 & 1 & 0 & 1 & 1 \\ 1 & 0 & 0 & 1 & 0 & 1 \\ 1 & 1 & 0 & 0 & 0 & 0 \\ \hline \end{array} \]
Теперь мы можем заметить, что значение колонки \(\overline{A} \land B\) совпадает со значением колонки \(\overline{A} \vee \overline{B}\) для всех комбинаций истинности A и B. Таким образом, формула доказана.
б) Доказать формулу: \((A \vee B) \vee C = A \vee (B \vee C)\)
Эта формула описывает ассоциативный закон для логического "или". Давайте также проверим это с помощью таблицы истинности:
- Построим таблицу истинности:
\[ \begin{array}{|c|c|c|c|c|c|} \hline A & B & C & (A \vee B) \vee C & A \vee (B \vee C) \\ \hline 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 1 & 1 \\ 0 & 1 & 0 & 1 & 1 \\ 0 & 1 & 1 & 1 & 1 \\ 1 & 0 & 0 & 1 & 1 \\ 1 & 0 & 1 & 1 & 1 \\ 1 & 1 & 0 & 1 & 1 \\ 1 & 1 & 1 & 1 & 1 \\ \hline \end{array} \]
Как видите, значения для \((A \vee B) \vee C\) совпадают со значениями для \(A \vee (B \vee C)\) при всех комбинациях истинности A, B и C. Это подтверждает правильность формулы.
Таким образом, обе формулы успешно доказаны. Если у вас есть дополнительные вопросы, не стесняйтесь задавать!
