Poln nabor izjavnih veznikov?

Ni mi jasno kako se rešuje te naloge, ki povprašujejo po polnih naborih.

A to načeloma rešuješ tako, da preveriš če veznika ohranjata 1 ali 0? Npr. da morata obadva ohranjati ali 0 ali 1, in če ohranjata, potem nabor ni poln in je to to.

Pa vedeti moraš kateri nabori so polni: {negacija, disjunkcija}, {negacija, konjukncija}, {negacija, implikacija}, {implikacija, 0} ter lukaspiers* in shefferjev? -> če je v nalogi, katerikoli izmed teh že avtomatsko veš daje poln oziroma če moraš dokazati pač uporabljaš polne nabore da izraziš?

Kaj pa če ni poln, kako to dokažeš? Je postopek, ki sem ga opisal sploh pravilen?


a)0=>0 in
0 konjukcija 0
Ohranja 0, ni poln

b)je poln, ker veš za ta nabor?
c)isto kot b?
d) implikacija ohranja, eksluzivni ali ne ohranja...treba preverit
uporabiš že prej znane nabore, npr c) kjer imas implikacijo in 0... 0 lahko izraziš z ekskluzivnim alijem, torej je nabor poln
e,f,g,h)...kako pa to ?

Če bi lahko pojasnil kdo kako se to rešuje...