public Negation(Expression exp) : base() { this.exp = exp; }
public PierceArrow(Expression exp1, Expression exp2) { this.exp1 = exp1; this.exp2 = exp2; }
public ShefferStroke(Expression exp1, Expression exp2) { this.exp1 = exp1; this.exp2 = exp2; }
public Implication(Expression exp1, Expression exp2) : base() { this.exp1 = exp1; this.exp2 = exp2; }
public Equivalence(Expression exp1, Expression exp2) : base() { this.exp1 = exp1; this.exp2 = exp2; }
public Intersection(Expression exp1, Expression exp2) : base() { this.exp1 = exp1; this.exp2 = exp2; }
public Modulo2(Expression exp1, Expression exp2) : base() { this.exp1 = exp1; this.exp2 = exp2; }
public Union(Expression exp1, Expression exp2) : base() { this.exp1 = exp1; this.exp2 = exp2; }