1. Главная
  2. Библиотека
  3. Логика
  4. Логическая функция задаётся выражением: (a → (bc)) A (b...
Разбор задачи

Логическая функция задаётся выражением: (a → (bc)) A (b → c) Составьте таблицу истинности.

  • Предмет: Логика
  • Автор: Кэмп
  • #{
Логическая функция задаётся выражением: (a → (bc)) A (b → c) Составьте таблицу истинности.

Условие:

Логическая функция задаётся выражением:
(a → (bc)) A (b → c)
Составьте таблицу истинности.

Решение:

  1. Определим логические операции:

    • aba \rightarrow b (импликация) равна ¬ab\neg a \lor b (не aa или bb).
    • \land (конъюнкция) равна 1, если оба операнда равны
    • \lor (дизъюнкция) равна 1, если хотя бы один из операндов равен
    • ¬\neg (отрицание) меняет значение на противоположное.
  2. Составим таблицу истинности для всех возможных значений переменных a,b,ca, b, c:

    • Переменные a,b,ca, b, c могут принимать значения 0 или
    • Всего будет 23=82^3 = 8 комби...

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

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

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

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

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

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

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

Топ 3 ошибок

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

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