Математическая логика и теория алгоритмов

Лабораторная работа № 1. Логика высказываний
Цель работы – научиться переводить выражения на естественном языке на язык логики высказываний. Научиться проверять логическое следствие.
Порядок выполнения
Ознакомиться с методическими указаниями
Решить цикл задач для самостоятельной работы.
Формализовать и решить задачу (номер задачи соответствует номеру бригады).
Придумать и решить аналогичную п.3 задачу. Задача должна содержать не менее 1-й импликации и хотя бы одну конъюнкцию или дизъюнкцию, и не менее 3-х логических переменных.
Проверить правильность решения задач из п.3 и 4 на ЭВМ (программа tautology.rb).
Оформить отчет.