Помогите с тестом по мат логике

[lenar]

Произвольная формула В является логическим следствием формулы А тогда и только тогда, когда:

1) A->B
тавтология

2) A->B
выполнимая формула

3) A->B
противоречие

4) A&B
тавтология

5) AVB
тавтология

[wital1984]

1)