Funktionale Signaturen auf Vollständigkeit untersuchen: Σ1 = {0,1,∧,↔}

Question

Untersuchen Sie die folgenden Signaturen auf Vollständigkeit und begründen Sie ihre Antworten:

Σ1 = {0,1,∧,↔}

Answer 1

{ ¬, ∧, ∨ } ist die Standard Signatur und funktional vollständig

damit eine Signatur funktional vollständig ist reicht es das sie { ¬, ∧ } oder { ¬, ∨ } abilden kann.

Σ1 = {0,1,∧,↔}  hier ist schon das ∧ vorhanden, jetzt musst du eigentlich nur noch zeigen das du mit einer kombination von den operaturen aus Σ1 ein ¬ bilden kannst. Falls das geht wäre Σ1  funktional vollständig