Пример #1
0
 public IFormula substitute(Substitution s)
 {
     return(new Not(f.substitute(s)));
 }