Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Bergische Universitt Wuppertal Fachbereich C ---Mathematik und Naturwissenschaften
 

Summary: Bergische Universität Wuppertal
Fachbereich C --- Mathematik und Naturwissenschaften
Dr. Holger Arndt, Dipl.­Ing. Hans Josef Kulmer,
Dipl.­Math. Sebastian Birk
Einführung in die Informatik und Programmierung
Sommersemester
6. Übungsblatt --- Aufgaben zu Teil A
Aufgabe 19 Frege­Basis, unkte
a eigen Sie, wie man unter ausschlie licher erwendung der Frege­Basis {¬,#} die logi­
schen erkn pfungen
. A#B
. A#B
realisieren kann. eben Sie die eweilige Formel in den ariablen A und B an und belegen
Sie Ihr rgebnis eweils mit einer entsprechenden Wahrheitstabelle.
b Stellen Sie die folgende Formel in der Frege­Basis dar
(A # B)# (¬(C #D) # A)
Aufgabe 20 Normalformen, unkte
a eben Sie eine dis unktive und eine kon unktive Normalform f r folgende aussagenlogische
Formel F an
F # ( (A#¬B) # (¬C#B) ) # (¬D # A)

  

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

 

Collections: Computer Technologies and Information Sciences