1. q x N = false
+---+---+---+---+
q p N
+---+---+---+---+
+---+---+---+---+
|
2. q x N = false
+---+---+
|
+---+---+---+---+
q p N
+---+---+---+---+
+---+---+
|
+---+---+---+---+
|
3. q x N = true
+---+---+---+---+
1 | 2
+---+---+
q p N
+---+---+---+---+
+---+---+---+---+
|
+---+---+
|
1 2
+---+---+
q p |
+---+---+---+---+
N
+---+---+---+---+
p
+---+---+
q 1 |
+---+---+---+---+
2 N
+---+---+---+---+
1 p
+---+---+
q p |
+---+---+---+---+
N
+---+---+---+---+
p
+---+---+
q 1 |
+---+---+---+---+
p N
+---+---+---+---+
q p
+---+---+---+---+
|
+---+---+
N
+---+---+---+---+
q 1
+---+---+---+---+
p | 2
+---+---+
N
+---+---+---+---+
q p
+---+---+---+---+
| p
+---+---+
N
+---+---+---+---+
q 1
+---+---+---+---+
p | 2
+---+---+
p N
+---+---+---+---+
1 p
+---+---+
q p |
+---+---+---+---+
N
+---+---+---+---+
1 N
+---+---+
|
+---+---+---+---+
q p
+---+---+---+---+
q p
+---+---+---+---+
N
+---+---+
|
+---+---+---+---+
p N
+---+---+
q |
+---+---+---+---+
+---+---+---+---+
N p
+---+---+
|
+---+---+---+---+
+---+---+---+---+
q
+---+---+---+---+
q 1 2 B
+---+---+---+---+
p N
+---+---+---+---+
q p
+---+---+---+---+
N
+---+---+---+---+