code: static public Probability sans(Probability probability1, Probability probability2) {
          double p1 = probability1.value;
          double p2 = probability2.value;
          return new Probability(p1 * (1.0d - p2));
      }
docs: This function returns the material nonimplication of the specified probabilities.  The value
  of the material nonimplication of two probabilities is P and not(Q).
  
  @param probability1 The first probability.
  @param probability2 The second probability.
  @return The material nonimplication of the two probabilities.