Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности

Формализуем приведенные суждения:
Если поместье досталось Амелии (А), оно не достанется Беатриче (В).
А→В
Но если Клара получит поместье (C), она поделится с Беатриче (B).
C→B
Значит, поместье достанется Амелии (А), либо Беатриче (B).
A B
Построим таблицу истинности:
A B C B А→В C→B (А→В)˄(C→B) A B ((А→В)˄(C→B))→A B
и и и л л и л л и
и и л л л и л л и
и л и и и л л и и
и л л и и и и и и
л и и л и и и и и
л и л л и и и и и
л л и и и л л л и
л л л и и и и л л