logika jjjjjjj: Zamien notacje polska na notacje tradycyjna NKANpNqNEAqNsNApq A − alternatywa K − koniunkcja N − negacja E−równowazność C− Implikacja p,q,s − zmienne

Saizou : no to jedziemy od końca Apq ≡ p∨q NApq ≡ ¬(p∨q) Ns ¬s AqNs ≡ q∨¬s EAqNsNApq ≡ (q∨¬s)⇔¬(p∨q) NEAqNsNApq ≡ ¬ [(q∨¬s)⇔¬(p∨q)] Nq ≡ ¬q Np ≡ ¬p ANqNp ≡ ¬q∨¬p KANpNqNEAqNsNApq ≡ (¬q∨¬p)∧¬ [(q∨¬s)⇔¬(p∨q)] NKANpNqNEAqNsNApq ≡ ¬{(¬q∨¬p)∧¬ [(q∨¬s)⇔¬(p∨q)]} jak się gdzieś nie pomyliłem