public String toString() {return "(" + a.toString() + " AND " + b.toString() + ")";}

public String toString ( ) { return "(" + a . toString ( ) + " AND " + b . toString ( ) + ")" ; }
public override string ToString(){return "(" + a.ToString() + " AND " + b.ToString() + ")";}
