Abstract
In this work, we define a new H(., .)-ordered-compression mapping and a resolvent operator based on it. We prove some properties of the resolvent operator, that is, it is a comparison as well as Lipschitz-type-continuous using XOR and XNOR operations. We construct an algorithm for solving XOR-variational inclusion problem. An example is constructed in support of some propositions. The results of this paper are more general and new than others in this direction.