Задания
Версия для печати и копирования в MS Word
Тип Д12 № 3781
i

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

X Y Z F

0

0

0

1

0

0

1

0

0

1

0

1

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

 

1)  X ∨ Y → Z

2)  ¬X ∨ Y → Z

3)  ¬X ∧ Z → Y

4)  X ∨ ¬Z → Y

Спрятать решение

Ре­ше­ние.

1.  Вы­ра­же­ние 1 не под­хо­дит по вто­рой строч­ке, так как 0→1 ≠ 0.

 

2.  Вы­ра­же­ние 2 не под­хо­дит по пер­вой строч­ке, так как 1→0 ≠ 1.

 

3.  Вы­ра­же­ние 3 под­хо­дит по всем строч­кам.

 

Сле­до­ва­тель­но, ответ 3.