Logik WS

Logik ^WS

Mitschriften

Aufgabe

Fesche

Alle möglichen Kombinationen von

n mal { 0,1

}

- _w

Input ^{( Output}

µ

i

Y.

°

.

) °

, ^{. . .} .

10 00 ^{: ' '}

°

, 0

. . . .

, 1 ^{0 ' '}

'

s

: ^' _,

iii.

} ^{" :}

Frage

^ist

Abhängigkeit

±

?

Abhängigkeit

• m ist die

Anzahl

{

}

• / ist die

Anzahl

Stelligen

Pervntationen _von { ^0,1

}

zz ^:

# { 0,137-2

zz ^:

# ^{ 0,137=2

Induktion über n

It

²¹⁼²

0,131=413

II

gelte

{ 0,134=2

I

# { ^0,13

! _# { 0,13

^{# {} 0,131

- ^-

52.2

⁾

z

miz^" _, 1=2^" r

)

n tz

: : ^{: : : :} : ^:

× , Xz X3

④ _A)

₎

} ^{: :}

C _{: : :}

_

Ä

⁾

)

h 22 hat die Eigenschaft ^:

Ändert _sicheine ^- der Wert_,

Ikrk

^.tl

dann ändert _sich

IIH )

Beweis ^{: Induktion} übern

CIA) ⁿ -1 Hlx_,×,)⁼ _{Xs )} ^{. Mit} WW ^- Tabelle bekennen ^wir

× _, Xz (^x_, ^{⇐ x}

)

:L ^{:L :}

D. h ^. Hlxn , x) ^{erfüllt diese} Eigenschaft^.

KV

Ändert

,) Ital. ^...

ICH

IIHK

" ^...

)

¥

HLX

)

= (l ^... ( _{Xs xz}) Xg ^{. .#}

4)

)

also

ILHIX_, . ^..

.nu/--aegIIll..lta-xzkxg..kx

⁾

Ihnen ) ⁾

Fall

^Genau

^Ilxn

Ill _{Ill ×}

, xz ) ⇐Xy ^{) ... ←Xn) bleibt gleich,}

dann ändert sich IIHIX_, . ^{. ..} Ann)_, Siehe

WW^- Tabelle

FIL

ändern

Ilxn

II

)

und mit ^{WW -} Tabelle dann _auch

Ilttlxn

)

Aufgabeln

a) Äffin ^#

⁾

^Hs

⁾

# ^{n= 1 .}

0am gilt^:

1)

Daran ist offensichtlich

IIÄ

^ICH

II

gilt

ILÄ

⁾

für alle ^{i E}

{

..

. , K

}

Wir betrachten

IÄ !

Ä

Es gilt ^Il _; ^{Hi ^} Hat ) _und

( HÄ

Hi

)

llltn.in/HgdwIl.InHiI=1mdIlHn+sI=1LantN:IiI,Hil=1

i ^E

{

Och _O