Semantik der Aussagenlogik: Übungsblatt 4
Die Bedeutung von NOR

NAND und NOR haben deshalb besondere Bedeutung, weils sie sämtliche möglichen Operatoren/Konnektoren alleine definieren können. Zum Beispiel kann die Disjunktion "pq" wie folgt definiert werden: (p NOR q) NOR (q NOR p). Beweise diese Aussage mit Hilfe einer Wahrheitswerttabelle. Wir gebrauchen dazu auch die in der Übung 3 hergeleitete Definition von NOR.
elementare Aussagen
zusammengesetzte Aussagen
p
q
p NOR q
q NOR p
(p NOR q) NOR (q NOR p)
w
w
w
f
f
w
f
f