blob: 1a835d6c6bf902ce523243551c4ea7401f9160c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
//chapter28
//example28.13
//page609
printf(" Y = ( A` + B ) . ( A + B ) \n")
printf(" By theorem 15 \n")
printf(" Y = A` . A + A` . B + B . A + B . B \n")
printf(" By theorem 4 and 6 \n")
printf(" Y = 0 + A` . B + B . A + B \n")
printf(" Y = A` . B + B . A + B \n")
printf(" By theorem 14 \n")
printf(" Y = B . ( A` + A + 1 ) \n")
printf(" By theorem 7 \n")
printf(" Y = B . ( A` + 1 ) \n")
printf(" By theorem 7 \n")
printf(" Y = B . 1 ) \n")
printf(" By theorem 2 \n")
printf(" Y = B \n")
|
