blob: 69942683537d84cd695b4ed0f25b2e281478d0a6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// chapter28
// example28.7
//page606
printf("Y = A . B + A . ( B + C ) + B . ( B + C ) \n")
printf("By thoerem 14 \n")
printf("Y = A . B + A . B + A . C + B . B + B .C \n")
printf("By theorem 6 \n")
printf("Y= A . B + A . B + A . C + B + B .C \n")
printf("By theorem 5 \n")
printf("Y = A . B + A . C + B + B . C \n")
printf("Factor B out of last 2 terms \n")
printf("Y = A . B + A . C + B . ( 1 + C ) \n")
printf("Apply cummulative law and theorem 7 \n")
printf("Y = A . B + A . C + B . 1 \n")
printf("Apply theorem 2 \n")
printf("Y = A . B + A . C + B \n")
printf("Factor B out of first and third terms \n")
printf("Y = B . ( A + 1 ) + A . C \n")
printf("Apply theorem 7 \n")
printf("Y = B . 1 + A . C \n")
printf("Apply theorem 2 \n")
printf("Y = B + A . C \n")
|
