Разбить высказывание на элементарные и записать в виде формулы логики высказываний. Проверить с помощью

Разбить высказывание на элементарные и записать в виде формулы логики высказываний. Проверить с помощью таблицы истинности, является ли тавтологией полученная формула. Если человек принял какое-то решение, и он правильно воспитан, то он преодолеет все конкурирующие желания. Человек принял решение, но не преодолел конкурирующих желаний. Следовательно, он неправильно воспитан

А – человек принял какое-то решение
В – человек правильно воспитан
С – человек преодолевает все конкурирующие желания
Если человек принял какое-то решение, и он правильно воспитан, то он преодолеет все конкурирующие желания .
Человек принял решение, но не преодолел конкурирующих желаний . Следовательно, он неправильно воспитан
Формулы A и B называются логически эквивалентными тогда
и только тогда, когда формула A ↔ B – тавтология.
А В С ↔
1 1 1 0 0 1 1 0 1 1
1 1 0 0 1 1 0 1 0 1
1 0 1 1 0 0 1 0 1 1
1 0 0 1 1 0 1 1 1 1
0 1 1 0 0 0 1 0 1 1
0 1 0 0 1 0 1 0 1 1
0 0 1 1 0 0 1 0 1 1
0 0 0 1 1 0 1 0 1 1
Формула↔ является тавтологией

. Следовательно, он неправильно воспитан
Формулы A и B называются логически эквивалентными тогда
и только тогда, когда формула A ↔ B – тавтология.
А В С ↔
1 1 1 0 0 1 1 0 1 1
1 1 0 0 1 1 0 1 0 1
1 0 1 1 0 0 1 0 1 1
1 0 0 1 1 0 1 1 1 1
0 1 1 0 0 0 1 0 1 1
0 1 0 0 1 0 1 0 1 1
0 0 1 1 0 0 1 0 1 1
0 0 0 1 1 0 1 0 1 1
Формула↔ является тавтологией