Logic proposition manipulator