package main;

public class DNF {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		if (args.length != 1) {
			System.out.println("Falsche Anzahl an Parametern!");
			return;
		}

		String formel = args[0];
		System.out.println(formel);
		
		// von der Formel die erste öffnende und die letze schließende Klammer entfernen
		formel = formel.substring(1, formel.length() - 1);
		
		Formel ganzeFormel = new Formel(formel, false);
		
		System.out.println("Test:");
		System.out.println(ganzeFormel.back());
	}
	
	public static void wrongFormel() {
		System.out.println("Die übergeben Formel entspricht nicht der vorgegebenen Grammatik!");
		System.exit(0);
	}
}