Exemplo n.º 1
0
 public BDD Not()
 {
     return(algebra.MkNot(this));
 }