Logics: collision-based
x
=1,
y
=1,
z
=0
x
=1,
y
=1,
z
=1
x
=0,
y
=1,
z
=1
