Verwenden Sie das Substitutionstheorem und die logischen Äquivalenzen, um die folgenden Terme in möglichst einfache äquivalente Terme umzuformen. Benennen Sie alle verwendeten Regeln und Gesetze, insbesondere dann, wenn Sie mehrere in einen Schritt zusammenfassen.
s = ((x∧¬z)∨((x∨y)∧¬(z∧¬y)))∨¬(z∨¬x)
t = (x∨¬((¬x∨y)∧(x∨y))∨z)∧¬y
