@Override
	public String toString() {
		
		String result = "";
		
		if (getLiterals().size() > 1) {
			
			result += "(";
			
			for (int i = 0; i < getLiterals().size(); i++) {
				
				result += getLiterals().get(i).toString();
				
				if (i < getLiterals().size() - 1) {
					result += " ∨ ";
				}
				
			}
			
			result += ")";
			
		} else {
			
			return getLiterals().get(0).toString();
			
		}
		
		return result;
	}