Задачи по математической логике (+примеры решения и комментарии)

Задачи по математической логике (+примеры решения и комментарии).
Содержание:
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассуждений.
Получение логических следствий из данных формул и посылок для данных логических следствий.
Необходимые и достаточные условия.
Анализ и синтез релейно-контактных схем.