1. Главная
  2. Библиотека
  3. Логика
  4. Упростите высказывание, записанное в символической форм...
Разбор задачи

Упростите высказывание, записанное в символической форме:

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Упростите высказывание, записанное в символической форме:

Условие:

Упростите высказывание, записанное в символической форме:

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

Решение:

Шаг 1. Рассмотрим первые два слагаемых:
(A ∧ B) ∨ (A ∧ ¬B).
Применим распределительный закон: A ∧ (B ∨ ¬B). Отметим, что (B ∨ ¬B) – тавтология (истинно всегда), отсюда:
\tA ∧ 1 = A.

Шаг 2. Теперь выражение принимает вид:
\tA ∨...

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

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

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

Какой логический закон позволяет упростить выражение $(A \& B) \vee (A \& \bar{B})$ до $A$?

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

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

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

Топ 3 ошибок

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

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