Top Banner
Computer- Gestütztes Experimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco Crisafi
38

Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Sep 24, 2019

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Computer-

Gestütztes

Experimentieren I (SPI301)

Herbstsemester 2017

Roland Bernet

Herbert Bitto

Francesco Crisafi

Page 2: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Computergestütztes Experimentieren I

(SPI301)

ECTS: 5

Übersicht Bei diesem Kurs geht es darum, ein Verständnis für die Planung, den Aufbau und die

Durchführung von Experimenten zu erlangen, die Computer einsetzen für das

Steuern der Experimentierparameter, für das Erfassen von Messdaten und für die

Datenanalyse

Durchführung Zweistündige Vorlesung

Dreistündiges Praktikum

Mündliche Prüfung (30 Min)

Beschreibung Im Herbstsemester (CGE I) beginnen wir zunächst damit, ein Verständnis für den

Aufbau von Rechnern zu erarbeiten, indem wir einen einfachen Modellrechner

mittels digitaler Schaltungen aufbauen. Danach werden einfache Experimente

durchgeführt, anhand derer der typische Aufbau von Programmen, die Hardware und

die Software Aspekte der Schnittstelle zwischen Experiment und Computer

besprochen werden. Ferner befassen wir uns mit der Erfassung und Analyse zeitlich

veränderlicher Analogsignale.

Dabei kommen Programmiersprachen wie LabVIEW und C++ (CGE II) zum

Einsatz.

Anrechnung

im Hauptstudium in den meisten MNF Fächern z.B. Physik, Chemie und verschiedene Varianten,

Biologie, Mathematik, … ; Informatik in Varianten

in Nebenfächern Computational Science, Simulationen in den Naturwissenschaften (in

Varianten), Neuroinformatik (in Varianten); Informatik (in Varianten)

1/37

Page 3: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

VORLESUNGSÜBERSICHT

Verbindung Rechner - Prozess

Digitale Schaltungen

Zahlendarstellung

Kombinatorische Schaltkreise

Sequentielle Schaltkreise

Struktur eines Rechners

Software Engineering

Kommunikationssysteme

Erfassung analoger Meßsignale

Meßdatenverarbeitung

2/37

Page 4: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Computergestütztes Experimentieren I + II Praktikum

Physik-Institut und Chem. Institut

Digitale Elektronik (vom Gatter zum Computer)

Echtzeit-Programmentwicklung in einer höheren Programmiersprache

(Plattform: IBM PC, Betriebssystem: Windows/Linux, Sprache: NI-LabView)

o Steuerung mit standardisiertem Labor-Instrumenten-Bus (GPIB-Bus)

(Experiment: Spezifische Wärme)

o Steuerung mit Multifunktionsschnittstellenkarte

(Experimente: Digitale Ausgabe, Blendenversuch, Blendenregelung)

Übungen zur digitalen Signalverarbeitung zeitlich veränderlicher Signale und

zum Abtasttheorem

_________________________

Einführung in C/C++ (Borland C++ Builder im Embarcadero RAD Studio)

Einfache Experimente mit Multifunktionsschnittstellenkarte

o Digitale Ausgabe

o Blendenversuch (C++ GUI, TChart Grafik)

Komplexes Experiment mit Multithreading

o Gesteuerter Chemischer Reaktor

3/37

Page 5: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Literaturverzeichnis

K. L. Ratzlaff Introduction to Computer-assisted ExperimentationJohn Wiley & Sons, 1987

Meyers Lexikonredaktion Wie funktioniert das? Der ComputerMeyers Lexikonverlag, 1990

K. Ebert, H. Ederer Computeranwendungen in der ChemieVerlag Chemie

W. J. Hurst Automation in the LaboratoryVCH Publishers

D. W. Hoffmann Grundlagen der Technischen InformatikHanser 2013

E. Leonhardt Grundlagen der DigitaltechnikHanser Verlag

O. Haack Einfuhrung in die DigitaltechnikTeubner Verlag

L. Graf, H. Jacob, Keine Angst vor dem MicrocomputerW. Meindl, W. Weber VDI-Verlag

E. O. Brigham FFTVerlag: R. Oldenburg

W. H. Press, S. A. Teukolsky Numerical RecipesW. T. Vetterling, B. P. Flannery Cambridge University Press

R. N. Bracewell The Fourier-Transform and its ApplicationsMcGraw-Hill

D. Achilles Die Fourier-Transformation in der SignalverarbeitungSpringer Verlag

P. R. Bevington Data Reduction and Error Analysis for thePhysical Sciences, McGraw-Hill

R. Ludwig Methoden der Fehler- und AusgleichsrechnungVieweg Verlag

4/37

Page 6: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Verbindung Rechner - Prozess

1. Definition Prozess

2. Arten der Prozesskopplung

2.1 Indirekte Prozesskopplung (off-line)

2.2 Direkte Prozesskopplung (on-line)

2.3 Innige Prozesskopplung (in-line)

3. Anwendungsbeispiele

5/37

Page 7: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

1. Definition des Begriffes Prozess

Unter einem Prozess versteht man einen Vorgang

zur Umformung oder zum Transport von

Stoff, Energie oder Information.

Unter einem technischen Prozess versteht man ein System,

dessen Zustandsgrossen uberwiegend physikalische Grossen sind,

die gemessen, gesteuert und geregelt werden konnen.

6/37

Page 8: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

2. Kopplung Rechner - Prozess

Die Moglichkeiten der Kopplung entwickelten sich in der

Geschichte des Computers.

7/37

Page 9: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

2.1 Indirekte Prozesskopplung (off-line)

Zeitalter des Grosscomputers (Mainframe z.B. IBM360):

Stapelverarbeitung; Aufkommen der interaktiven Verarbeitung

8/37

Page 10: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

2.2 Direkte Prozesskopplung (on-line)

Aufkommen der Minicomputer Ende der 1960er

Reduktion der Antwortzeit ermoglichte Echtzeit-Verarbeitung −→Laborcomputer (PDP11)

9/37

Page 11: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

2.3 Innige Prozesskopplung (in-line)

Weitere Miniaturisierung −→ Microprocessoren

Erfindung des Personal Computers (Apple I 1976)

Intelligente Laborgerate

Direkte Kopplung an zentralen Rechner

Aktuell: Internet of Things IoT

10/37

Page 12: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

3. Anwendung der direkten Kopplung bei Experimenten

• Schnelle Datenerfassung (Geschwindigkeit und Fulle)

• Langandauernde Datenerfassung

• Wiederholung zur S/N - Verbesserung

• Steuerung des Experimentes

• Kostenreduktion

11/37

Page 13: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

DIGITALE SCHALTUNGEN I

1. Grundlagen und Zahlendarstellung

1.1 Grundlagen

1.2 Umwandlung dezimal ⇐⇒ dual

1.3 Addition

1.4 Subtraktion, negative Zahlen

2. Kombinatorische Schaltkreise

2.1 Basisoperatoren

2.2 Logische Schaltkreise

2.3 Grundgesetze der Schaltalgebra

2.4 Entwicklung einer Schaltung

2.5 Abgeleitete logische Schaltkreise

12/37

Page 14: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Erf

indu

ng d

er e

rste

n pr

ogra

mm

ierb

aren

Rec

henm

asch

ine

Cha

rles

Bab

bage

:

D

iffe

renc

e E

ngin

e:

Bau

183

2; n

ie f

unkt

ions

tüch

tig;

Ber

echn

ung

von

Log

arith

men

tafe

ln

A

naly

tical

Eng

ine

:Pl

anun

g ab

1833

; nie

geba

utG

leitk

omm

adar

stel

lung

, Dez

imal

zahl

enPr

ogra

mm

ierb

ar (

Tur

ingm

ächt

ig)

Ers

tes

Prog

ram

m:B

erec

hnun

g de

r B

erno

ulli-

Zah

len

durc

hA

da L

ovel

ace

(Erf

indu

ng d

es a

lgor

ithm

isch

en P

roga

m-

mie

rens

)

13/37

Page 15: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Frü

he C

ompu

ter

des

20.-

ten

Jahr

hund

erts

Eige

nsch

afte

n de

r er

sten

Com

pute

r

Computer

Land

InbetriebnahmeGleitkomma-

arithmetikBinärElektronisch

Programmierbar

Turingmächtig

Zuse

Z3

Deu

tsch

land

Mai

19

41

JaJa

Nei

nJa

, dur

ch L

ochs

trei

fen

Ja

Ata

naso

ff-B

erry

-C

ompu

ter

US

AS

omm

er 1

94

1N

ein

JaJa

Nei

nN

ein

Col

ossu

sU

K1

94

3N

ein

JaJa

Teilw

eise

, dur

ch N

euve

rkab

elun

gN

ein

Mar

k I

US

A1

94

4N

ein

Nei

nN

ein

Ja,d

urch

Loc

hstr

eife

nJa

Zuse

Z4

Deu

tsch

land

Mär

z 1

94

5Ja

JaN

ein

Ja, d

urch

Loc

hstr

eife

nJa

ENIA

CU

SA

19

46

Nei

nN

ein

JaTe

ilwei

se, d

urch

Neu

verk

abel

ung

Ja

19

48

Nei

nN

ein

JaJa

, dur

ch e

ine

Mat

rix

aus

Wid

erst

ände

nJa

Que

lle

Wik

iped

ia

14/37

Page 16: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Neu

erun

gen

der

erst

en m

oder

nen

Rec

hner

von

Zus

e un

d A

tana

soff

1.D

uale

Zah

lend

arst

ellu

ng2.

Bis

tabi

le S

chal

tele

men

te z

.B. z

ur S

peic

heru

ng3.

Ver

wen

dung

der

Aus

sage

nlog

ik(A

rist

otel

es)

oder

der

isom

orph

enSc

halta

lgeb

ra(s

iehe

C. S

hann

on, M

aste

rarb

eit 1

937)

4.G

leitk

omm

adar

stel

lung

der

Zah

len

Vor

auss

etzu

ngen

der

Aus

sage

nlog

ik u

nd d

er z

wei

wer

tige

n Sc

halt

alge

bra

1.Pr

inzi

p de

r Z

wei

wer

tigke

it je

der

Aus

sage

"wah

r" o

der

"fal

sch"

; Str

om "

flie

sst"

ode

r "f

liess

t nic

ht"

2.Pr

inzi

p de

s au

sges

chlo

ssen

en D

ritte

nE

s gi

bt n

ur w

ahre

ode

r fa

lsch

eA

ussa

gen;

nic

hts

ande

res

wie

z.B

. Jai

n3.

Prin

zip

vom

aus

gesc

hlos

sene

n W

ider

spru

chE

ine

Aus

sage

kan

n ni

cht w

ahr

und

fals

ch s

ein.

15/37

Page 17: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

16/37

Page 18: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Zahlendarstellung in verschiedenen Zahlensystemen

Zahlenwert Dual Oktal Dezimal Hexadezimal

Null 0 0 0 0

Eins 1 1 1 1

Zwei 10 2 2 2

Drei 11 3 3 3

Vier 100 4 4 4

Funf 101 5 5 5

Sechs 110 6 6 6

Sieben 111 7 7 7

Acht 1000 10 8 8

Neun 1001 11 9 9

Zehn 1010 12 10 A

Elf 1011 13 11 B

Zwolf 1100 14 12 C

Dreizehn 1101 15 13 D

Vierzehn 1110 16 14 E

Funfzehn 1111 17 15 F

Sechszehn 10000 20 16 10

Potenzreihendarstellung in der Basis β:

Z = ΣN−1i=0 αiβ

i 0 ≤ αi ≤ β − 1

17/37

Page 19: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Umrechnung von Zahlen eines Zahlensystems in ein anderes

Beispiel Umrechnung von Dezimalsystem nach Dualsystem der Zahl 11:

Wir verwenden die Potenzreihendarstellung der Zahlen

𝑍 = ∑ 𝑎𝑖𝛽𝑖

𝑁−1

𝑖=0

0 ≤ 𝑎𝑖 ≤ 𝛽 − 1

Dann gilt für die Zahl 11

1110 = ∑ 𝑎𝑖2𝑖 =

3

𝑖=0

𝑎323 + 𝑎222 + 𝑎121 + 𝑎020

Aus praktischen Gründen schreiben wir den Ausdruck im Hornerschema

1110 = ((𝑎32 + 𝑎2)2 + 𝑎1)2 + 𝑎0

Nach der j-ten ganzzahligen Division (mod) durch die Basis 2 erhalten wir die

j-1-te Ziffer

j 𝑍𝑗 Rest 𝑍𝑗 mod(𝑍𝑗,2)

0 11 ((𝑎32 + 𝑎2)2 + 𝑎1)2 + 𝑎0

1 5 1 (𝑎32 + 𝑎2)2 + 𝑎1 𝑎0

2 2 1 𝑎32 + 𝑎2 𝑎1

3 1 0 𝑎3 𝑎2

4 0 1 𝑎3

1110 = 10112

Umwandlung von Dual in Oktal und Hexadezimal

1110 = | 1|011|2 = 138

1110 = |1011|2 = 𝐵16

18/37

Page 20: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

19/37

Page 21: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

20/37

Page 22: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

21/37

Page 23: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Vorzeichenerweiterung von Nmax = 3 nach Nmax = 4

23

22

21

20

1 1 1 1

1 1 1 0

1 1 0 1

1 1 0 0 22

21

20

1 0 1 1 1 1 1

1 0 1 0 1 1 0

1 0 0 1 1 0 1

1 0 0 0 1 0 0

0 1 1 1 0 1 1

0 1 1 0 0 1 0

0 1 0 1 0 0 1

0 1 0 0 0 0 0

0 0 1 1

0 0 1 0

0 0 0 1

0 0 0 022/37

Page 24: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

23/37

Page 25: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

24/37

Page 26: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

25/37

Page 27: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

26/37

Page 28: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

27/37

Page 29: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

28/37

Page 30: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Gesetze der Boole’schen Algebra

Gesetz der doppelten Negationa = a

Konjunktion Disjunktion

Kommunikativgesetza ∧ b = b ∧ a a ∨ b = b ∨ a

Assoziativgesetz(a ∧ b) ∧ c = a ∧ (b ∧ c) (a ∨ b) ∨ c = a ∨ (b ∨ c)

Distributivgesetza ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)

Idempotenza ∧ a = a a ∨ a = a

Gestz vom Widerspruch Gestz vom ausgeschl. Drittena ∧ a = 0 a ∨ a = 1

Nullelemente, neutrale Elementea ∧ 0 = 0 a ∨ 1 = 1a ∧ 1 = a a ∨ 0 = a

Dualitat der Gesetze∧, 0 ⇐⇒ ∨, 1

29/37

Page 31: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Verifikation des Distributivgesetzes

Wahrheitstabelle fur a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c):

c b a b ∧ c a ∨ (b ∧ c) a ∨ b a ∨ c (a ∨ b) ∧ (a ∨ c)

0 0 0 0 0 0 0 00 0 1 0 1 1 1 10 1 0 0 0 1 0 00 1 1 0 1 1 1 11 0 0 0 0 0 1 01 0 1 0 1 1 1 11 1 0 1 1 1 1 11 1 1 1 1 1 1 1

30/37

Page 32: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Absorptionsgesetze

a ∨ (a ∧ b)= ? a ∧ (a ∨ b)= ?= (a ∧ 1) ∨ (a ∧ b)= a ∧ (1 ∨ b)= a ∧ 1= a = a

a ∨ (a ∧ b)= ? a ∧ (a ∨ b)= ?

= (a ∨ a) ∧ (a ∨ b)= 1 ∧ (a ∨ b)= a ∨ b = a ∧ b

31/37

Page 33: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Theorem von DeMorgan

Wahrheitstabelle fur a ∧ b:

a a b b a ∧ b a ∧ b a ∨ b

0 1 0 1 0 1 10 1 1 0 0 1 11 0 0 1 0 1 11 0 1 0 1 0 0

a ∧ b = a ∨ b DeMorgan’sches Gesetz

Nach dem Dualittsprinzip folgt sofort:

a ∨ b = a ∧ b

Allgemein gilt:

a ∧ b ∧ c ∧ · · · = a ∨ b ∨ c ∨ · · ·

a ∨ b ∨ c ∨ · · · = a ∧ b ∧ c ∧ · · ·

32/37

Page 34: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

Kanonische Normalformen

Gegeben seienn-stellige boolesche Funktion f(x1, x2, . . . , xn) und Literale xi ∈ {xi, xi}

Definitionen

Elementarkonjunkt oder Minterm

x1 ∧ . . . ∧ xn

Elementardisjunkt oder Maxterm

x1 ∨ . . . ∨ xn

1. Disjunktive Normalform (DNF)Disjunktive Verknupfung der Minterme mit dem Funktionswert 1

2. Konjunktive Normalform (KNF)Konjunktive Verknupfung der Maxterme mit dem Funktionswert 0

3. Reed-Muller-Normalform oder RingsummennormalformKomplexer siehe Ringsummennormalform in Wikipedia

33/37

Page 35: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

34/37

Page 36: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

35/37

Page 37: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

36/37

Page 38: Herbstsemester 2017 - chem.uzh.ch8119d74e-cfe0-45f2-8d51-4f0bd81a994b/... · C omputer-G estütztes E xperimentieren I (SPI301) Herbstsemester 2017 Roland Bernet Herbert Bitto Francesco

37/37