section_heading: Implikacijska tablica
paragraph_text: Označi sve parove (p, q) takve da je <math>p \in F</math> i <math>q \notin F</math><br> <u>za</u> (Bilo koji par različitih stanja <math>(p,q) \in \left( {F \times F} \right)</math> ili <math>(p,q) \notin \left( {F \times F} \right)</math>) {  <u>ako</u> (Za neki znak a par <math>(\delta (p,a),\delta (q,a))</math> jest označen   {     Označi (p, q);<br>     Rekurzivno označi sve neoznačene parove u listi koja je pridružena paru (p, q) i sve ostale parove u listama koje su pridružene      parovima označenim u ovom koraku;   }   <u>inače</u>   {     <u>za</u> (Svi znakovi a)     {       <u>ako</u> (<math>\delta (p,a) \ne \delta (q,a)</math>)       Stavi (p, q) u listu koja je pridružena paru <math>(\delta (p,a),\delta (q,a))</math>;     }   } }