Если цены высоки то и зарплата высока. Цены высоки или применяется регулирование цен

Введём элементарные высказывания:
A — «цены высоки»,
B — «зарплата высока»,
C — «применяется регулирование цен»,
D — «есть инфляция».
Тогда посылки и заключение запишутся следующими формулами:
A→B
B∨C
C→¬D
D
B
Составим формулу A→B&B∨C&C→¬D&D→B и построим её таблицу истинности
Поскольку построенная формула является тавтологией, то логическое следование есть и данное рассуждение правильно.