Hallo Leute!
Ich weiß nicht wie ich bei der Booleschen Aussagenlogik Signaturen auf funktionale Vollständigkeit prüfen kann.
Ich muss zeigen dass weder {∧, ∨} noch die Signatur {⇒} funktional vollständig ist.
Wie genau mache ich das ?
Grüße
Ein anderes Problem?
Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos