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

Постройте полином Жегалкина. Является ли он линейным?

  • Предмет: Логика
  • Автор: Кэмп
  • #Символическая логика
  • #Математическая логика
Постройте полином Жегалкина. Является ли он линейным?

Условие:

Постройте полином Жегалкина. Является ли он линейным? $ \left.

(XWˉYXYWZXWX\begin{array}{l} (X \bar{W} \vee Y \rightarrow X Y W \leftrightarrow \overline{Z X W} \rightarrow X \end{array}

$

Решение:

1. Упрощение выражения

Дано выражение: f(X,Y,Z,W)=((X¬W)(Y(XYW)))(¬(ZXW)X))Zf(X, Y, Z, W) = ((X \land \neg W) \lor (Y \rightarrow (X \land Y \land W))) \leftrightarrow (\neg(Z \land X \land W) \rightarrow X)) \land Z

Заметим, что всё выражение представляет собой конъюнкцию с ZZ. Это значит, что если Z=0Z = 0, то f=0f = 0. Рассмотрим случай Z=1Z = 1:

\nf(X,Y,1,W)=((X¬W)(Y(XYW)))(¬(XW)X)\nf(X, Y, 1, W) = ((X \land \neg W) \lor (Y \rightarrow (X \land Y \land W))) \leftrightarrow (\neg(X \land W) \rightarrow X)

Используем правила:

  1. Y(XYW)¬Y(XYW)(¬YX)(¬YY)(¬YW)(¬YX)(¬YW)Y \rightarrow (X \land Y \land W) \equiv \neg Y \lor (X \land Y \land W) \equiv (\neg Y \lor X) \land (\neg Y \lor Y) \land (\neg Y \lor W) \equiv (\neg Y \lor X) \land (\neg Y \lor W)...

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

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

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

Какое условие должно выполняться для того, чтобы булева функция считалась линейной?

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

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

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

Топ 3 ошибок

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

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