stosując prtwt log iii
2. Przekształcić foww^
p A-q
na formułę nwnjąfą japijaty t negacje 3. Określić negację, ahenuiy^f i koniunkcję za pomocą spójnika 4. Sprowadzić do KAPN formule