IT-Systeme Übung 1
Aufgabe 1

Aufgabe 2
Nein
–>
$$t_{2} = b$$
ist boolscher Term -> §§t_{1} \lor t_{2}$$
Aber:
ist kein boolscher Term

Aufgabe 3

Aufgabe 4

Aufgabe 5

Aufgabe 6

Aufgabe 7

Aufgabe 8


Nein
–>
$$t_{2} = b$$
ist boolscher Term -> §§t_{1} \lor t_{2}$$
Aber:
ist kein boolscher Term






