(c) W. Conen, Version 0.951 Aussagenlogik -- Verfahren zum Finden von Modellen Prof. Dr. Wolfram Conen, INTA, WS06/07, FH GE.
