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
. A#B
. A#B
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:
((A #B) #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