z1(0) :- v1(0),w1(0).
z2(0) :- v1(0),w2(0).
z3(0) :- v2(0),w1(0).
z4(0) :- v2(0),w2(0).
v1(0) :- s(0).
v2(0) :- t(0).
w1(0) :- p(0).
w2(0) :- q(0).
t(0) :- not s(0).
s(0) :- not t(0).
p(0) :- not q(0).
q(0) :- not p(0).
m(0) :- z1(0).
m(0) :- z2(0).
m(0) :- z3(0).
m(0) :- z4(0).
z1(1) :- v1(1),w1(1).
z2(1) :- v1(1),w2(1).
z3(1) :- v2(1),w1(1).
z4(1) :- v2(1),w2(1).
v1(1) :- s(1).
v2(1) :- t(1).
w1(1) :- p(1).
w2(1) :- q(1).
t(1) :- not s(1).
s(1) :- not t(1).
p(1) :- not q(1).
q(1) :- not p(1).
m(1) :- z1(1).
m(1) :- z2(1).
m(1) :- z3(1).
m(1) :- z4(1).
