Символом F обозначено одно из указанных ниже логических выражений от трёх аргументов:...

Question

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

(Продолжение в фото)

---

Answer 1

1)  F=x→z*y=¬x+z*y
  третья строка  в таблице F=1, а должно быть F=0
       вывод :  нет
2) F=¬z→(x→y)=z+¬x+y=¬x+y+z
    все три строки верны
        вывод : да
3) F=¬(x+y)*z
        ¬(x+y)=0 во всех трёх строках  
      все три строки не верны
             вывод: нет
4) F=¬x+¬(y*z)=¬x+¬y+¬z
      при подстановки данных первой строки F должно быть равно 1
              вывод :  нет
ответ 2