(self, left, right)
return self.BVOr(self.BVAnd(left, self.BVNot(right)),
                         self.BVAnd(self.BVNot(left), right))
Returns the XNOR composition of left and right.
Returns the XNOR composition of left and right.
Returns the XNOR composition of left and right .
def BVXnor(self, left, right):
        """Returns the XNOR composition of left and right."""
        return self.BVOr(self.BVAnd(left, self.BVNot(right)),
                         self.BVAnd(self.BVNot(left), right))
def BVXnor ( self , left , right ) : return self . BVOr ( self . BVAnd ( left , self . BVNot ( right ) ) , self . BVAnd ( self . BVNot ( left ) , right ) )