Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Technische Informatik (http://www.informatikerboard.de/board/board.php?boardid=7)
--- Prüfen auf funktionale Vollständigkeit (http://www.informatikerboard.de/board/thread.php?threadid=4233)


Geschrieben von Vikiller94 am 20.10.2019 um 12:19:

  Prüfen auf funktionale Vollständigkeit

Guten Tag,

ich habe eine folgende Aufgabe die ich nicht lösen kann. Und zwar, ich verstehe nicht ganz wie man bei der b) - e) vorgehen soll.

Bei a) habe ich versucht mit dem NOR (Pfeil nach unten) die funktionale Vollständigkeit nachzuweisen. Bis jetzt ging das alles aber bei b) vestehe ich einfach nicht was die 1 zu bedeuten hat.


Meine Frage ist:
1) Wie kann man z.B bei {->, 0} / ((+, *, -) sind auch funktional vollständig) auf funktionale Vollständigkeit prüfen?
2) Worauf muss man achten, wenn man das beweisen muss? Gibt es irgendwelche Regeln bzw. Schritte die man sich merken muss?

Danke im Voraus.


Forensoftware: Burning Board, entwickelt von WoltLab GmbH