Сим­во­лом F обо­зна­че­но одно из ука­зан­ных ниже ло­ги­че­ских вы­ра­же­ний от трёх ар­гу­мен­тов: X, Y, Z. Дан фраг­мент таб­ли­цы ис­тин­но­сти вы­ра­же­ния F:

Какое вы­ра­же­ние со­от­вет­ству­ет F?

1)  X ∨ Y → Z

2)  ¬X ∨ Y → Z

3)  ¬X ∧ Z → Y

4)  X ∨ ¬Z → Y