Есть кто разбирается в мат логике?

Question

Перевести следующее рассуждение в логическую символику и проанализировать результат.
Антон или переутомился, или болен. Если он переутомился, то он раздражается. Он не раздражается. Следовательно, он болен.

Answer 1

if раздражается:
print(„Антон переутомился“)
else:
print(„Антон болен“)

Answer 2

А - переутомился
В - болен
С - раздражён
∨ - логический оператор 'или'
¬ - логический оператор отрицания
→ - импликация
_________________
1) А ∨ B (выражение истинно если А истинно, или В истинно, или оба)
2) А→С (выражение ложно только если А истинно и С ложно.)
3) ¬С (Антон не раздражается.)
4) В (Антон болен)
___________________
Из утверждения 3 исходит, что Антон не раздражен, следовательно он не переутомлен(в противном случае утверждение 2 было бы ложно). Если он не переутомлен значит он болен.

Answer 3

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

Answer 4

JaScript , спасибо за ответ, но это в код для программы

Answer 5

Таблица правды:
A 0 1 0 1
B 0 0 1 1
C 0 1 0 -
из ее увидимся что:
C = A AND NOT B