Помогите пожалуйста решить 4 задания

1)Используя таблицы истинности, докажите общезначимость следующих законов логики высказываний:
2)Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или формулы из предыдущего упражнения:
3)Предполагая, что некоторая среда может быть описана с использованием только четырех логических переменных х, у, z, и, определите сколько моделей может иметь среда для следующих формул:
а) х ^ у; б) х ^ у ^ z; в) х v у.