Übertragen wir das, was wir vorhin gesehen haben in eine Wahrheitstabelle:
|
D |
C |
Q |
Kommentar
|
0 |
0 |
0 |
Annahme
|
1 |
0 |
0 |
Speichern (0)
|
1 |
1 |
1 |
1 Setzen
|
1 |
0 |
1 |
Speichern (1)
|
0 |
0 |
1 |
Speichern (1)
|
0 |
1 |
0 |
0 Setzen
|
0 |
0 |
0 |
Speichern (0)
|
|
Die Annahme können wir einfach streichen:
|
D |
C |
Q |
Kommentar
|
|
|
|
|
1 |
0 |
0 |
Speichern (0)
|
1 |
1 |
1 |
1 Setzen
|
1 |
0 |
1 |
Speichern (1)
|
0 |
0 |
1 |
Speichern (1)
|
0 |
1 |
0 |
0 Setzen
|
0 |
0 |
0 |
Speichern (0)
|
|
Beim Speichern wird der vorherige Zustand beibehalten, also können wir sagen, dass Qn = Qn ist.
|
D |
C |
Q |
Kommentar
|
|
|
|
|
1 |
0 |
Qn |
Speichern
|
1 |
1 |
1 |
1 Setzen
|
1 |
0 |
Qn |
Speichern
|
0 |
0 |
Qn |
Speichern
|
0 |
1 |
0 |
0 Setzen
|
0 |
0 |
Qn |
Speichern
|
|
Beim speichern spielt es auch keine Rolle, wie D dabei ist:
|
D |
C |
Q |
Kommentar
|
X |
0 |
Qn |
Speichern
|
1 |
1 |
1 |
1 Setzen
|
0 |
1 |
0 |
0 Setzen
|
|