DNF und KNF aus Wahrheitswertetabelle ablesen/konsturieren-mit ...