1. Главная
  2. Библиотека
  3. Логика
  4. Путём преобразования докажите равносильность следующих...
Разбор задачи

Путём преобразования докажите равносильность следующих высказываний: 1) и ; 2) и .

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Путём преобразования докажите равносильность следующих высказываний: 1) и ; 2) и .

Условие:

Путём преобразования докажите равносильность следующих высказываний:

  1. (A&Bˉ)(B&Cˉ)\overline{(A \& \bar{B}) \vee(B \& \bar{C})} и (Aˉ&Bˉ)(Aˉ&C)(B&C)(\bar{A} \& \bar{B}) \vee(\bar{A} \& C) \vee(B \& C);
  2. (A&B)(A&Cˉ)(A \& B) \vee \overline{(A \& \bar{C})} и (A&B)ACˉ(A \& B) \vee A \vee \bar{C}.

Решение:

1) Доказательство равносильности (A&Bˉ)(B&Cˉ)\overline{(A \& \bar{B}) \vee(B \& \bar{C})} и (Aˉ&Bˉ)(Aˉ&C)(B&C)(\bar{A} \& \bar{B}) \vee(\bar{A} \& C) \vee(B \& C)

Шаг 1: Применим закон де Моргана к первому выражению.

(A&Bˉ)(B&Cˉ)=(A&Bˉ)&(B&Cˉ) \overline{(A \& \bar{B}) \vee(B \& \bar{C})} = \overline{(A \& \bar{B})} \& \overline{(B \& \bar{C})}

Шаг 2: Применим закон де Моргана к каждому из членов.

(A&Bˉ)=AˉB \overline{(A \& \bar{B})} = \bar{A} \vee B
(B&Cˉ)=BˉC \overline{(B \& \bar{C})} = \bar{B} \vee C

Шаг 3: Подставим результаты обратно в выражение.

(A&Bˉ)(B&Cˉ)=(AˉB)&(BˉC) \overline{(A \& \bar{B}) \vee(B \& \bar{C})} = (\bar{A} \vee B) \& (\bar{B} \vee C)

Шаг 4: Раскроем скобки.

(AˉB)&(BˉC)=(Aˉ&Bˉ)(Aˉ&C)(B&Bˉ)(B&C) (\bar{A} \vee B) \& (\bar{B} \vee C) = (\bar{A} \& \bar{B}) \vee (\bar{A} \& C) \vee (B \& \bar{B}) \vee (B \& C)

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какой закон логики является ключевым для преобразования выражения $\overline{(A \& \bar{B}) \lor (B \& \bar{C})}$ на первом шаге доказательства?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет