1. Главная
  2. Библиотека
  3. Логика
  4. Составьте таблицы истинности: 1) ® ( ✓ B ) 2) 3) ® B ®...
Разбор задачи

Составьте таблицы истинности: 1) ® ( ✓ B ) 2) 3) ® B ® A

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Составьте таблицы истинности: 1) ® ( ✓ B ) 2) 3) ® B ® A

Условие:

Составьте таблицы истинности:

  1. F=BA\mathrm{F}=\mathrm{B} \vee \mathrm{A} ® ( ✓ B )
  2. F=AB(¬A)\mathrm{F}=\mathrm{A} \wedge \mathrm{B}^{\circ}(\neg \mathrm{A})
  3. F=¬A\mathrm{F}=\neg \mathrm{A} ® B ® A

Решение:

1) F=BAF = B \vee A ® (✓ B)

Шаг 1: Определим переменные и их возможные значения. У нас есть две переменные: AA и BB. Каждая из них может принимать значения истинности (1) или ложности (0).

Шаг 2: Составим таблицу истинности для выражения F=BAF = B \vee A и добавим столбец для ¬B\neg B:

A B BAB \vee A FF
0 0 0 1
0 1 1 1
1 0 1 1
1 1 1 1

2) F=AB(¬A)F = A \wedge B^{\circ}(\neg A)

Шаг 1: О...

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

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

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

Какой из следующих операторов является логическим отрицанием (NOT) в булевой алгебре?

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

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

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

Топ 3 ошибок

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

Не нашел нужную задачу?

Воспользуйся поиском

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