Если А то В, а В достаточно для С или А , но А не эквивалентно не С. Как правильно это записать??? Спасибо

Question

Если А то В, а В достаточно для С или А , но А не эквивалентно не С. Как правильно это записать??? Спасибо

Разное

Гость

Ответ(ы) на вопрос:

Accepted Answer

Переводим в логическое выражение: (A -> B) ^ (B -> (C V A)) ^ ~(A <-> ~C) Есть еще формулы преобразования: X -> Y = ~X V Y X <-> = ~(X^Y) V (X^Y) По ним формулы можно перевести в СДНФ или СКНФ