Mathematical Foundation of Computer Science

(Chris Devlin) #1
DHARM

250 MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE


0

0, 1 0, 1
0, 1

0, 1

1

()e

0, 1 0, 1

0, 1

1

0

0

1

()f

0
0 0

0

0

1

1 1 1

0, 1
F

()g

10 0

11

(^0) 0, 1
0, 1
()h
(^011)
1
1
0
0
0
()i
Fig. 9.46

Free download pdf