Разбор задачи

y=(a+b)(¬c+d)+(c+¬a)d

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
y=(a+b)(¬c+d)+(c+¬a)d

Условие:

y=(a+b)(¬c+d)+(c+¬a)d

Решение:

  1. Таблица истинности логической функции y

Функция задана как:\ny = (a + b)(¬c + d) + (c + ¬a)d

Сначала определим все возможные значения переменных a, b, c и d. У нас 4 переменные, следовательно, будет 2^4 = 16 комбинаций.

Теперь создадим таблицу истинности:

a b c d ¬a ¬b ¬c ¬d a+b ¬c+d (a+b)(¬c+d) c+¬a (c+¬a)d y
0 0 0 0 1 1 1 1 0 1 0 1 0 0
0 0 0 1 1 1 1 0 0 1 0 1...

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

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

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

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

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

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

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

Топ 3 ошибок

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

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