====== JFiZO - Zadanie 09.031 ======
$S \rightarrow \neg S | (S \Rightarrow S) | p | q$

  -$S_0 \rightarrow S$
  -$Neg \rightarrow \neg$
  -$Lpar \rightarrow ($
  -$Rpar \rightarrow )$
  -$Rarr \rightarrow \Rightarrow$
  -$S \rightarrow NegS$
  -$S \rightarrow LparA_1$
  -$A_1 \rightarrow SA_2$
  -$A_2 \rightarrow RarrA_3$
  -$A_3 \rightarrow SRpar$
  -$S \rightarrow p$
  -$S \rightarrow q$

{{tag>listy_zadan}}