Gesucht ist ein äquivalenter aussagenlogischer Ausdruck zu (x -> z) <-> (y -> z) mit den Bedingungen: [ Operators [ !, ||, && ] ].

Der gesuchte aussagenlogische Ausdruck, der äquivalent zu \((x \to z) \leftrightarrow (y \to z)\) ist und die Bedingungen mit den Operatoren \(!\), \(\lor\) und \(\land\) erfüllt, kann wie folgt formuliert werden: \[ (x \land \neg z) \lor (y \land \neg z) \lor (z) \] Dieser Ausdruck ist äquivalent zu dem gegebenen Ausdruck und verwendet die geforderten logischen Operatoren.