[ h4su @ 24.01.2019. 12:53 ] @
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.
[ djoka_l @ 24.01.2019. 17:17 ] @
Pa, rečeno je da je O lažno.
Redom zameniš vrednosti za p, q, r od (0,0,0), do (1,1,1)

imaš da je O(0,0,0) = ((( not 0 <=> not 0 ) or not A) and ( not 0 or not A ) and (( not A => 0 ) or ( not 0 <=> 1 )))
= (((1) or not A) and ( 1 or not A ) and (( not A => 0 ) or (0)))
= ( 1 and 1 and (not A => 0))
= not A => 0

Pošto O mora biti netačno za svako p, q, r da bi not A => 0 bilo netačno, mora biti not A tačno, odnosno A(0,0,0) netačno.

Tako napraviš istinitosnu tablicu za sve kombinacije (p,q,r) i vrednost za A(p,q,r).
Odatle, valjda znaš da napraviš SDNF i SKNF.