(self, left, right)
return self.BVNot(self.BVAnd(left, right))
Returns the NAND composition of left and right.
Returns the NAND composition of left and right.
Returns the NAND composition of left and right .
def BVNand(self, left, right):
        """Returns the NAND composition of left and right."""
        return self.BVNot(self.BVAnd(left, right))
def BVNand ( self , left , right ) : return self . BVNot ( self . BVAnd ( left , right ) )