[Logik] DNF

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);
    }
}