Дискретная оптимизация. Сегодня нужно до 20.00

1)Построить таблицы истинности для следующих формул алгебры высказываний и привести эти формулы к СДНФ и СКНФ двумя способами (по таблице истинности и с помощью законов алгебры высказываний

2)Проверить истинность соотношений тремя способами

3)Для заданного бинарного отношения проверить его свойства и построить граф.