public static Exp Not( Exp exp )
// ! (a == 0 || a == 10) Exp.Not( Exp.Or( Exp.EQ(Exp.IntBin("a"), Exp.Val(0)), Exp.EQ(Exp.IntBin("a"), Exp.Val(10))))
In This Article