if P(x) >= q, then (P(not x) < (1 - q))  So, I think that this method is just:
```scala
  (self.isTrue ^ b) && (self.withProb < (1 - prob)) 
```