Ich denke , das
Aq v Bq V Cq v ( Aq Λ Bq Λ Cq )
und
( Aq Λ Bq Λ Cq )äquivalent sind.
Denn beides ist genau dann wahr, wenn
( Aq Λ Bq Λ Cq )wahr ist.
Ach Quatsch, jetzt merke ich auch:
Das ( Aq Λ Bq Λ Cq ) hätte man weglassen können
und nicht die oder- Verbindung. Pardon !