Задачи по информатике

Представить логической формулой следующий текст: «Чтобы установить или опровергнуть логическую правильность рассуждения, необходимо задать рассуждение логической схемой и сравнить ее со схемами логически правильных рассуждений.

Иногда рассуждение задают логической формулой, и сравнивают ее с логическими формулами правильных рассуждений, в которые заранее были переведены схемы логически правильных рассуждений».

Используемые логические операции и пример решения в прилагаемых скриншотах.