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

С помощью эквивалентных преобразований приведите формулу к ДНФ, КНФ, СДНФ, СКНФ. Постройте полином Жегалкина.

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
С помощью эквивалентных преобразований приведите формулу к ДНФ, КНФ, СДНФ, СКНФ. Постройте полином Жегалкина.

Условие:

С помощью эквивалентных преобразований приведите формулу к ДНФ, КНФ, СДНФ, СКНФ. Постройте полином Жегалкина. ((\overline{x \hookleftarrow y}\rightarrow\bar{z})\mid y)

Решение:

Нам дана формула
  (¬(x ↤ y) → ¬z) ∣ y,
где символ ↤ означает «обратная импликация» (то есть, запись x ↤ y мы будем понимать как «если y, то x», что эквивалентно формуле y → x).

Последовательно проделаем преобразования, чтобы привести формулу к ДНФ, КНФ, совершённой ДНФ (СДНФ), совершённой КНФ (СКНФ) и построить полином Жегалкина.

──────────────────────────────

  1. Преобразуем отношение импликации

    Запишем x ↤ y в привычном виде:
      x ↤ y ≡ (y → x).
    Напомним, что импликация определяется так:
      y → x ≡ ¬y ∨ x.
    Таки...

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

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

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

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

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

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

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

Топ 3 ошибок

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

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