zwei kleine programme um die resolvente eines logischen ausdrucks zu bestimmen. einmal java, einmal haskell wobei haskell natürlich die hübschere variante ist :) die variablen werden durchnummeriert und als zahl angegeben. "nicht" wird durch negation ausgedrückt.
