Warum sind die Wahrheitstabellen verschieden?
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))
Logik,
Aussagenlogik,
Beweis,
Wahrheitstabelle