1. Привести примеры математических утверждений(какие-либо теоремы) и описать их логическую структуру формулой алгебры-логики. Не менее 5 примеров. Должны быть использованы: коньюкция, дизъюнкция, импликация, эквиваленция, инверсия
2. Привести примеры логических законов(закон тождества; закон противоречия; закон исключенного третьего; закон двойного отрицания). Примеры должны быть с числами.