예제 #1
0
 public BDD Not()
 {
     return(algebra.MkNot(this));
 }