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

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

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

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