[{0, 1, 7}](([{0, 2}]p0->[{0}]p0) /\ ([{0}]p0->[{0, 2}]p0))->(([{0, 2}]p0->[{0}]p0) \/ ([{0}]p0->[{0, 2}]p0))