P Q || P N Q N F
1 1 1 2 1 2 2
1 2 1 2 2 0 1
1 0 1 2 0 1 0
2 1 2 0 1 2 1
2 2 2 0 2 0 0
2 0 2 0 0 1 2
0 1 0 1 1 2 0
0 2 0 1 2 0 2
0 0 0 1 0 1 1
2. PQNFN
P Q || P Q N F N
1 1 1 1 2 0 1
1 2 1 2 0 2 0
1 0 1 0 1 1 2
2 1 1 1 2 0 1
2 2 2 2 0 1 2
2 0 2 0 1 2 0
0 1 0 1 2 1 2
0 2 0 2 0 0 1
0 0 0 0 1 2 0
3. PQFQF
P Q || P Q F Q F
1 1 1 1 1 1 1
1 2 1 2 0 2 1
1 0 1 0 2 0 1
2 1 2 1 0 1 2
2 2 2 2 2 2 2
2 0 2 0 1 0 2
0 1 0 1 2 1 0
0 2 0 2 1 2 0
note here one argument form resulting: PQFQF |- P
4. PQNFQNF
P Q || P Q N F Q N F
1 1 1 1 2 0 1 2 1
1 2 1 2 0 2 2 0 1
1 0 1 0 1 1 0 1 1
2 1 2 1 2 2 1 2 2
2 2 2 2 0 1 2 0 2
2 0 2 0 1 0 0 1 2
0 1 0 1 2 1 1 2 0
0 2 0 2 0 0 2 0 0
0 0 0 0 1 2 0 1 0
note the equivalence of the last two strings