<div class="notebook">

<div class="nb-cell markdown" name="md1">
## 02.02. Die Negation des Unifikationsoperators
</div>

<div class="nb-cell markdown" name="md2">
Welche der folgenden Anfragen führen zu true. ?

Überlege dir, wie die Rückgabe aussieht und überprüfe anschließend mit dem 'Run Query'-Button rechts, ob du recht hattest.
</div>

<div class="nb-cell query" name="q1">
a \= a.
</div>

<div class="nb-cell query" name="q2">
'a' \= a.
</div>

<div class="nb-cell query" name="q3">
A \= a.
</div>

<div class="nb-cell query" name="q4">
f(a) \= a.
</div>

<div class="nb-cell query" name="q5">
f(a) \= A.
</div>

<div class="nb-cell query" name="q6">
f(A) \= f(a).
</div>

<div class="nb-cell query" name="q7">
g(a,B,c) \= g(A,b,C).
</div>

<div class="nb-cell query" name="q8">
g(a,b,c) \= g(A,C).
</div>

<div class="nb-cell query" name="q9">
f(X) \= X.
</div>

</div>