Aufgabe:
7. $$(a \leftrightarrow b) \leftrightarrow (a \oplus b)$$
8. $$(\neg a \downarrow \neg b) \oplus \neg (a \oplus b$$
9. $$(f \leftrightarrow (a \vee b)) \oplus (\neg a \uparrow \neg b)$$
10. $$(a \uparrow b) \uparrow (a \rightarrow b)$$
11. $$f \vee ((a \rightarrow b) \downarrow (a \oplus b))$$
12. $$(\neg (a \uparrow b) \rightarrow \neg(a \oplus b)) \vee ((a \oplus a) \rightarrow c)$$
Soll angeben, ob diese Tautologien/Kondradiktionen sind und wenn nicht deren Modelle.
Problem/Ansatz:
Bei 7) kann man die Äquivalenz als Voraussetzung sehen? Und somit weder Taut noch Kontr. ist und Modell für 1 ist a=1 und b=1 und für = beide 0
bei 8. weiß ich nicht wie ich den Pfeil interpretieren muss. suche gerade nach einer Def.
