Gegeben ist die Formel: ((a → b) ^ (a → c)) → (a → (b ^ c)) Die obige Formel ist eine Tautologie. ich habe die Formel jedoch vorher regelkonform umgeformt und habe die Wahrheitstabelle davon dann gebildet wobei ich bei a= true,b = false, c=true am ende false bekomme. Meine Umgeformte Formel: (A^-B) v (A ^ -C ) v (-A v (B ^ C))