Отправлено: 11.11.16 11:58. Заголовок: -егэ2 р-06

Ещё пример задания:
Р-06. (http://ege.yandex.ru) Дан фрагмент таблицы истинности выражения F.
x1 x2 x3 x4 x5 F
1 1 1 0 0 1
1 1 0 1 1 0
0 0 1 1 1 1
Одно из приведенных ниже выражений истинно при любых значениях переменных x1, x2,x3, x4, x5. Укажите это выражение.
1) F(x1,x2,x3,x4,x5)x1
2) F(x1,x2,x3,x4,x5)x2
3) F(x1,x2,x3,x4,x5)x3
4) F(x1,x2,x3,x4,x5)x4
Решение:
1) во всех заданных вариантах ответа записана импликация, она ложна только тогда, когда левая часть (значение функции F) истинна, а правая – ложна.
2) выражение 1 ложно для набора переменных в третьей строке таблицы истинности, где F(…) = 1 и , оно не подходит
3) выражение 2 ложно для набора переменных в третьей строке таблицы истинности, где F(…) = 1 и , оно не подходит
4) выражение 3 истинно для всех наборов переменных, заданных в таблице истинности
5) выражение 4 ложно для набора переменных в первой строке таблицы истинности, где F(…) = 1 и , оно не подходит
ответ: 3. КАК может быть ответ 3 быть правильным ???? если х3=0 если из х3 следует х3, то получается 1, а F=0 В таблице
-

 Отправлено: 11.11.16 12:13. Заголовок: teolitt пишет: КАК м..

teolitt пишет:

цитата:

КАК может быть ответ 3 быть правильным ?

Нам нужно обеспечить равенство F(...)->x3 = 1.
Мы знаем 3 строки таблицы истинности. Значение F в остальных строках всегда можно выбрать так, чтобы это равенство выполнялось. Поэтому достаточно рассмотреть только эти 3 строки.

Выпишем столбцы x3 и F:

 x3 F 
  1 1 
  0 0 
  1 1

Во всех случаях выполняется равенство F(...)->x3 = 1.