1. Главная
  2. Библиотека
  3. Логика
  4. Функция f задана вектором значений (0101). СДНФ функции...
Разбор задачи

Функция f задана вектором значений (0101). СДНФ функции имеет вид

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Математическая логика
Функция f задана вектором значений (0101). СДНФ функции имеет вид

Условие:

Функция f задана вектором значений (0101). СДНФ функции имеет вид (xˉyˉ)(xyˉ)(\bar{x} \vee \bar{y}) \wedge(x \vee \bar{y}) (xˉy)(xy)(\bar{x} \vee y) \wedge(x \vee y) xˉyˉxyˉ\bar{x} \cdot \bar{y} \vee x \cdot \bar{y} xˉyxy\bar{x} \cdot y \vee x \cdot y

Решение:

Нам дана функция f по вектору значений (0, 1, 0, 1). Примем, что упорядочение аргументов соответствует следующим строкам таблицы истинности для (x, y):

  (0, 0) → 0
  (0, 1) → 1
  (1, 0) → 0
  (1, 1) → 1

Шаг 1. Определим строки, где f =


  1. ...

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

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

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

Какой из следующих шагов является ключевым при построении СДНФ (совершенной дизъюнктивной нормальной формы) функции, заданной вектором значений?

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

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

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

Топ 3 ошибок

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

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