Условие:
Cоставить таблицу истинности
а) (˥A∨B); (C∨˥B) |
(A→C)∨(A→˥C)
б) (A→B) |
((˥B∨C)→(˥A∨C))
Решение:
а) (˥AB); (C˥B) |(AC)(A˥C)
По таблице истинности можно судить о следовании формулы
из двух гипотез единичным значениям гипотез соответствуют единичные значения формулы .
