1. Главная
  2. Библиотека
  3. Логика
  4. А тогда и только тогда, когда В тогда и только тогда, к...
Разбор задачи

А тогда и только тогда, когда В тогда и только тогда, когда С.

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

Условие:

А тогда и только тогда, когда В тогда и только тогда, когда С.

Решение:

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

  1. Формализация высказывания

    Предположим, что сказанное означает, что истинность высказывания A эквивалентна истинности высказывания (B ↔ C). То есть записи
      A ↔ (B ↔ C).
    Это значит, что A истинно тогда и только тогда, когда выражение «B тогда и только тогда, когда C» истинно.

    ──────────────────────────────
  2. Построение полных нормальных форм (СДНФ и СКНФ)

    Для получения СДНФ и СКНФ полезно составить таблицу истинности для переменных A, B и C.

    Построим таблицу истинности для функции f...

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

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

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

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

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

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

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

Топ 3 ошибок

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

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