Mathematical Foundation of Computer Science

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