Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-78(103) Beispiele 3.59
 

Summary: 3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-78(103)
Beispiele 3.59:
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-79(104)
Definition 3.60: Die in Beispiel 3.59, 2. betrachtete Formel heißt exklusives oder (Antivalenz, XOR):
A B AXOR B
F F F
F T T
T F T
T T F
3 Grundlagen der Darstellung und Verarbeitung von Information 3.3 Aussagenlogik 3-80(105)
3.3.6 Disjunktive und konjunktive Normalform
Definition 3.61: Ein Literal ist eine atomare Formel oder die Negation einer atomaren Formel (positives
bzw. negatives Literal).
Eine Formel F ist in konjunktiver Normalform (KNF), wenn sie eine Konjunktion von Disjunktionen von
Literalen ist:
F =
n
i=1
mi
j=1

  

Source: Arndt, Holger - Fachgruppe Mathematik, Fachbereich Mathematik-Naturwissenschaften, Bergische Universität Wuppertal

 

Collections: Computer Technologies and Information Sciences