>>800
１行目は「0000から0001まで」じゃなく「0000から1001まで」なんだろうな。
そのテキストないし講義で、何をもって「簡単化」と言っているかにもよるが、
例えばこんな感じか。

z3 = x3∨(x2∧(x1∨x0))
z2 = (not(x2)∧(x1∨x0))∨(x2∧not(x1∨x0))
z1 = (x1∧x0)∨not(x1∨x0)
z0 = not(x0)

ここで、上線は書けないし、否定を表すカギ型（"「"を左右反転したやつ）は機種依存なので、
否定はnot()で表している。

あと、排他的論理和(xor)を使っていいなら、z2,z1は次のように書ける。
z2 = x2 xor (x1∨x0)
z1 = not(x1 xor x0)