> Aber wie macht man dann (A → C) Λ (B →C)?
A → C ist genau dann falsch, wenn A wahr und C falsch ist, sonst ist A → C wahr.
B → C ist genau dann falsch, wenn B wahr und C falsch ist, sonst ist B → C wahr.
(A → C) ∧ ( B → C) ist genau dann wahr, wenn sowohl (A → C ) als auch (B → C) wahr sind.
Gruß Wolfgang