Eine Antwort hattest du ja schon: (¬ A) ∧ A ⇔ 0
Du könntest also das (¬ A) ∧ A durch eine 0 ersetzen und da es insgesamt eine
ODER-Verbindung ist, kann st du eine 0 eben weglassen.
Bei dem (¬ C) ∧ C ist es natürlich genauso.
und bei dem letzten steht ja B ^ C was einfach weggelassen wird.
Darunter wird eine Erklärung versucht: Weil in der Oder-Verbindung außer
dem B ^ C noch ¬ A ∧ C und auch A ∧ B vorkommen, meint der Schreiber dieser
Lösung : wenn B ^ C wahr ist (also beide sind dann wahr)
ist entweder ¬ A ∧ C oder A ∧ B wahr, egal welchen Wahrheitswert A hat.
denn in einer dieser beiden Terme stehen auf jeden Fall zwei 1en mit und verbunden.
Bei c) ist es wohl so gemeint ¬ A ∧ (A ∧ C) ist wegen der Assoziat. von "und"
jedenfalls ( ¬ A ∧ A ) ∧ C = 0 ∧ C = 0
So ist das wohl etwas ausführlicher.