Условие задачи
Формализуйте приведённые ниже суждения и постройте соответствующие таблицы истинности.
А – Амелия унаследовала поместье; В – Беатриче унаследовала поместье; С – Клара унаследовала поместье.
I. Если поместье досталось Амелии, оно не достанется Беатриче. Но если Клара получит поместье, она поделится с Беатриче. Значит, поместье достанется Амелии, либо Беатриче.
Ответ
Формула рассуждения:
((АВ) (СВ)) (А˅В)
Количество строк в таблице истинности будет равно 2n, где 2 обозначает количество возможных логических значений (истина или ...