Kaze zadatak ovako :
Iskazna formula O=(((not p<=>notr)or notA) and((notq or notA) and ((notA=>q)or (notp<=>r)))) je identicki lazna. Sastaviti tabelu istinitosti iskazne formule A(p,q,r) i s.k.n.f i s.d.n.f od A.
Znaci u O imam varijable p,g,r i A(p,q,r). Kako treba ovo raditi ?. Recimo ako sastavim tabelu istinitosti od O dobijem rezultat negA,negA,A,negA,negA,negA,negA,A. Kako dalje.