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).
