1. Главная
  2. Библиотека
  3. Высшая математика
  4. Cоставить таблицу истинности а) (˥A ∨ B); (C ∨ ˥B) | (A → C) ∨ (A → ˥C) б) (A → B) | ((˥B ∨ C) → (˥A ∨ C)) Cоставить табли...

Cоставить таблицу истинности а) (˥A ∨ B); (C ∨ ˥B) | (A → C) ∨ (A → ˥C) б) (A → B) | ((˥B ∨ C) → (˥A ∨ C)) Cоставить таблицу истинности

«Cоставить таблицу истинности а) (˥A ∨ B); (C ∨ ˥B) | (A → C) ∨ (A → ˥C) б) (A → B) | ((˥B ∨ C) → (˥A ∨ C)) Cоставить таблицу истинности»
  • Высшая математика

Условие:

Cоставить таблицу истинности

а) (˥A∨B); (C∨˥B) | (A→C)∨(A→˥C)

б) (A→B) | ((˥B∨C)→(˥A∨C))

Решение:

а) (˥AB); (C˥B) |(AC)(A˥C)

По таблице истинности можно судить о следовании формулы

из двух гипотез единичным значениям гипотез соответствуют единичные значения формулы .

Похожие задачи

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

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

AI помощники

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

E
S
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Э
Я