Помогите пожалуйста решить задачи по мат. логике.

2. Вывести в исчислении вызказываний.

3. Привести примеры трех интерпретаций (тавтология, противоречие, выполнима, но не тавтология) .

4. Является ли выражение формулой?