1. Главная
  2. Библиотека
  3. Логика
  4. Сколько различных решений имеет уравнение где J, K, L,...
Разбор задачи

Сколько различных решений имеет уравнение где J, K, L, M, N - логические переменные?

  • Предмет: Логика
  • Автор: Кэмп
  • #Символическая логика
  • #Математическая логика
Сколько различных решений имеет уравнение где J, K, L, M, N - логические переменные?

Условие:

Сколько различных решений имеет уравнение

((JK)(MN))((J¬K)(¬M¬N))(¬M¬NKL)=1 ((J \rightarrow K) \rightarrow(M \wedge N)) \wedge((J \wedge \neg K) \rightarrow(\neg M \vee \neg N)) \wedge(\neg M \vee \neg N \vee K \vee L)=1
где J, K, L, M, N - логические переменные?

Решение:

Рассмотрим уравнение

  ((J → K) → (M ∧ N)) ∧ ((J ∧ ¬K) → (¬M ∨ ¬N)) ∧ (¬M ∨ ¬N ∨ K ∨ L) = 1

с переменными J, K, L, M, N, каждая из которых может принимать значение 0 или
1.

Шаг 1. Приведём импликации к эквивалентным выражениям.

  1) Импликация A → B равносильна (¬A ∨ B). Для первого конъюнкта:
   J → K = ¬J ∨ K.
  Таким образом, первый конъюнкт:
   ((J → K) → (M ∧ N)) = ((¬J ∨ K) → (M ∧ N)) = ¬(¬J ∨ K) ∨ (M ∧ N).
  Заметим, что ¬(¬J ∨ K) эквивалентно J ∧ ¬K.
  Получаем:
   F1 = (J ∧ ¬K) ∨ (M ∧ N).<...

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

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

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

Какое преобразование логической импликации A → B является корректным?

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

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

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

Топ 3 ошибок

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

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