notacja polska lz: Np — negacja p, Cpq — implikacja, Apq — alternatywa, Kpq — koniunkcja, Epq — równoważność Zapisz w zwykłej notacji: KCpNqp CCpCNpqq

Pytający: □∧□ // K (□⇒□)∧□ // KC (p⇒□)∧□ // KCp (p⇒(∼□))∧□ // KCpN (p⇒(∼q))∧□ // KCpNq (p⇒(∼q))∧p // KCpNqp □⇒□ // C (□⇒□)⇒□ // CC (p⇒□)⇒□ // CCp (p⇒(□⇒□))⇒□ // CCpC (p⇒((∼□)⇒□))⇒□ // CCpCN (p⇒((∼p)⇒□))⇒□ // CCpCNp (p⇒((∼p)⇒q))⇒□ // CCpCNpq (p⇒((∼p)⇒q))⇒q // CCpCNpqq