Решите логическое выражение (x*y) следует (не x следует z)

Question

Решите логическое выражение (x*y) следует (не x следует z)

Answer 1

F=(x*y)→(¬x→z)
F=(x*y)→(x+z)
F=¬(x*y) + x+z
F=¬x+¬y+x+z                                 (¬x+x=1)
F=1