JFiZO - Zadanie 09.031

S \rightarrow \neg S | (S \Rightarrow S) | p | q

1. S_0 \rightarrow S
2. Neg \rightarrow \neg
3. Lpar \rightarrow (
4. Rpar \rightarrow )
5. Rarr \rightarrow \Rightarrow
6. S \rightarrow NegS
7. S \rightarrow LparA_1
8. A_1 \rightarrow SA_2
9. A_2 \rightarrow RarrA_3
10. A_3 \rightarrow SRpar
11. S \rightarrow p
12. S \rightarrow q