Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Fachbereich C --Mathematik und Naturwissenschaften Dr. Holger Arndt, Dipl.-Ing. Hans Josef Kulmer,
 

Summary: Fachbereich C -- Mathematik und Naturwissenschaften
Dr. Holger Arndt, Dipl.-Ing. Hans Josef Kulmer,
Dr. Björn Leder
AI
Einführung in die Informatik und Programmierung
Sommersemester 2011
6. Übungsblatt -- Aufgaben zu Teil A
Aufgabe 19 (Frege-Basis, 2 Punkte)
a) Zeigen Sie, wie man unter ausschließlicher Verwendung der Frege-Basis {¬,} die logi-
schen Verknüpfungen
· AB
· AB
realisieren kann. Geben Sie die jeweilige Formel (in den Variablen A und B) an und belegen
Sie Ihr Ergebnis jeweils mit einer entsprechenden Wahrheitstabelle.
b) Stellen Sie die folgende Formel in der Frege-Basis dar:
((AB) C)(D ¬B)
Aufgabe 20 (Normalformen, 4 Punkte)
a) Geben Sie eine disjunktive und eine konjunktive Normalform für folgende aussagenlogische
Formel F an:
F (A B)(¬(C D) A)

  

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

 

Collections: Computer Technologies and Information Sciences