5. Sprowadzić do AKPN formuli • Af
o) m pomocą tabelki fe> m pomocą praeksftakmk
tNtf ddrwmjąańpTtdylm aa ffhmir ryinm (r> i»)
72apuf przy pomocy predykatów i kw&myiikiitorów: Każda kda nwsywim joal ujemna łub nieujemna.