Aussagenlogik wie formt man um wenn keine Negation gegeben ist?

2 Antworten

Du kannst die Aussagen auf Äquivalenz überprüfen, indem du dir Wahrheitstafeln erstellst. (0 = falsch, 1 = wahr)

B | C | B ∧ C | ¬ ((¬B) ∧ (¬C))
0   0     0     0
0   1     0     1
1   0     0     1
1   1     1     1

Es ist also offensichtlich nicht das Gleiche.

Hallo,

Du kannst das Distributivgesetz anwenden.
Av(B ∧C)=(AvB) ∧(AvC).

Herzliche Grüße,

Willy