Hallo. ich soll die gültigkeit der folgenden Gleichungen beweisen (mit Hilfe einer Wertetabelle), weiß jedoch nicht so wirklich wie das geht. kann mir jemand helfen?
1. ¬(x ^ y) = ¬x _ ¬y (deMorgan)
2. x _ (x ^ y) = x (Absorption)
3. (x _ ¬y) ^ (y _ ¬x) = (x , y) (Wobei (x , y) genau dann wahr ist, wenn x und y den gleichen Wahrheitswert haben (¨Aquivalenz).
und eine Vereinfachung hiervon:
¬(¬x ^ ¬y) _ (x _ (x ^ y)) _ (z ^ ¬z)
Vielen Dank schonmal
1. ¬(x ^ y) = ¬x _ ¬y (deMorgan)
2. x _ (x ^ y) = x (Absorption)
3. (x _ ¬y) ^ (y _ ¬x) = (x , y) (Wobei (x , y) genau dann wahr ist, wenn x und y den gleichen Wahrheitswert haben (¨Aquivalenz).
und eine Vereinfachung hiervon:
¬(¬x ^ ¬y) _ (x _ (x ^ y)) _ (z ^ ¬z)
Vielen Dank schonmal