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

X Y Z F
0 0 1 0
1 1 1 0
1 0 0 1

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

1) ¬X ∨ ¬Y ∨ ¬Z
2) ¬Х ∧ ¬Y ∧ Z
3) X ∧ (Y ∧ ¬Z)
4) (X ∧ ¬Y) ∨ ¬Z

Правильный ответ №4 Первый не удовлетворяет первой строчке таблицы истинности Второй и третий исключается второй строчкой таблицы истинности Для верности построим для 4) таблицу истинности, см. приложения