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