Polnost nabora

Pozdrav vsem!

Pri preverjanju polnosti posameznih naborov sem naletel na dilemo in sicer imam npr. podan izraz A(P,Q,R)~ 
(P v Q <-> R) in po definiciji vem če nabor ohranja log. vrednost 0 ali 1 ni poln- vstavim v A(0,0,0) ~0 ni poln.No sedaj pa naprimer imam podan izraz {A,0} izberem npr nabor {P,0} vstavim v izraz in pridelam končni izraz (P v Q), kar predpostavljam, da je poln, ker če dvakrat negiram izraz ter ga poenostavim dobim neg.(P in R) pač izraz vsebuje veznike znanega nabora, sedaj me pa zanima ali sem pravilno predpostavil in če nisem bi prosil nekoga če mi to stvar razloži, hvala!