Bei einer gegebenen Schaltfunktion beweisen, dass y1=y2 gilt

Question

Schaltfunktion:

\( \begin{array}{l} y_{1}=x_{1} x_{2} x_{3} x_{4} \\ y_{2}=\overline{\overline{\overline{x_{1}} \cup \overline{x_{2}}} \cup \overline{\overline{x_{3}} \cup \bar{x}_{4}}} \end{array} \)

Zeigen Sie, dass \( y_{1}=y_{2} \) gilt.

Ansatz:

ich habe zuerst die doppelte Negation aufgehoben und dann das 1 Theorem nach A. de Morgan genutzt so kommt bei mir y₁=y₂ heraus, wäre das der richtige Ansatz?

Answer 1

Nach dem De Morgan hast du aber wohl noch mal
das mit der doppelten Negation benutzt.

Scheint mir so genau richtig zu sein.