Aquí la demostración mediante una tabla:
x y z ~z xΘy xΘz xΘ~z
0 0 0 1 0 0 1
0 0 1 0 0 1 0
0 1 0 1 1 0 0
0 1 1 0 1 1 1
1 0 0 1 1 1 1
1 0 1 0 1 0 0
1 1 0 1 0 1 0
1 1 1 0 0 0 1
FND:
Minterms: m3 + m4
x y z ~z xΘy xΘz xΘ~z
0 0 0 1 0 0 1
0 0 1 0 0 1 0
0 1 0 1 1 0 0
0 1 1 0 1 1 1
1 0 0 1 1 1 1
1 0 1 0 1 0 0
1 1 0 1 0 1 0
1 1 1 0 0 0 1
FND:
Minterms: m3 + m4