izjavne povezave

Zdravo zanima me kako bi rešil tole nalogo.. sploh nevem kje začeti.. kako bi to preveril?

Preveri ali je nabor izjavnih povezav {tu sta znaka za implikacijo, negacijo} poln.?
Any ideas?

Ja, negacija+konjunkcija+disjunkcija je poln nabor. Poln nabor pomeni, da lahko vsako logično/preklopno funkcijo realiziraš s tem naborom logičnih operatorjev (v tvojem primeru negacija in implikacija, za katero ne vem, če je poln nabor, mislim pa, da ni). Torej si napišeš pravilnostne tabele za AND, OR, NEG in jih skušaš izraziti z negacijo+implikacijo. Če ne gre, ni poln nabor, če gre, je poln nabor.

Torej:

A B AND OR
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 1

Potem pa stolpca AND in OR probaj izrazit s kombinacijo implikacije+negacije pri istih A in B, pri čemer je 0=false, 1=true. Pri tem lahko simbola implikacije in negacije uporabiš večkrat, kot tudi A in B.