Gesucht ist ein äquivalenter aussagenlogischer Ausdruck zu t <-> s && r.

Der aussagenlogische Ausdruck \( t \leftrightarrow (s \land r) \) kann umgeschrieben werden, um seine Äquivalenz zu verdeutlichen. Eine Möglichkeit, dies zu tun, ist die Verwendung der Definition der Äquivalenz: \[ t \leftrightarrow (s \land r) \equiv (t \rightarrow (s \land r)) \land ((s \land r) \rightarrow t) \] Das bedeutet, dass \( t \) genau dann wahr ist, wenn \( s \land r \) wahr ist. Eine weitere Möglichkeit, den Ausdruck zu vereinfachen, ist die Verwendung der Implikation: \[ t \leftrightarrow (s \land r) \equiv (t \land (s \land r)) \lor (\neg t \land \neg (s \land r)) \] Das bedeutet, dass entweder beide Seiten wahr sind oder beide Seiten falsch sind. Zusammenfassend ist der gesuchte aussagenlogische Ausdruck äquivalent zu: \[ (t \land (s \land r)) \lor (\neg t \land \neg (s \land r)) \]