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

Вычислите значение формулы при входящих переменных

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

Условие:

Вычислите значение формулы y(z((xyˉ)(zyˉ))))\left.y^{\wedge}\left(z \vee\left((x \leftrightarrow \bar{y}) \vee\left(z^{\wedge} \bar{y}\right)\right)\right)\right) при входящих переменных x=0,y=1,z=1x=0, y=1, z=1

Решение:

Для вычисления значения формулы

\ny(z((xyˉ)(zyˉ))) \ny^{\wedge}\left(z \vee\left((x \leftrightarrow \bar{y}) \vee\left(z^{\wedge} \bar{y}\right)\right)\right)

при входящих переменных x=0,y=1,z=1x=0, y=1, z=1, давайте поэтапно разберем каждую часть.

Шаг 1: Найдем значения переменных.

  • x=0x = 0
  • y=1y = 1
  • z=1z = 1
  • yˉ=1y=11=0\bar{y} = 1 - y = 1 - 1 = 0

Шаг 2: Подставим значения в форму...

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

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

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

Какое логическое выражение следует вычислить первым в формуле $y^{\wedge}(z \vee((x \leftrightarrow \bar{y}) \vee(z^{\wedge} \bar{y})))$ при заданных значениях переменных, чтобы начать упрощение?

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

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

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

Топ 3 ошибок

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

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