Semantik der Aussagenlogik: Übungsblatt 3
Definition von NAND und NOR
Ein in der Informatik wichtiger Konnektor ist NAND welcher als Negation der logischen Konjunktion definiert ist (etymologisch gebildet aus:
N
OT
AND
). Vervollständige die nachstehende Wahrheitswerttabellen.
elementare Aussagen
zusammengesetzte Aussagen
p
q
p
q
p NAND q bzw.
¬ (p
q)
w
w
w
f
f
w
f
f
Ein weiterer wichtiger Konnektor ist NOR, welche als Negation der Disjunktion definiert ist (etymologisch gebildet aus:
N
OT
OR
). Vervollständige die nachstehende Wahrheitswerttabelle.
elementare Aussagen
zusammengesetzte Aussagen
p
q
p
q
p NOR q
bzw.
¬ (p
q)
w
w
w
f
f
w
f
f