Logic Reduction Example (Cont.)Berkeley’s Espresso

00

01

11

10

AB

CD

A

B

C

D

00

01

11

10

1

0

1

0

1

1

1

1

0

1

0

1

1

1

1

1

00

01

11

10

AB

CD

A

B

C

D

00

01

11

10

1

0

1

0

1

1

1

1

0

1

0

1

1

1

1

1

c) Result of expand step

d) Result of irredundant cover step

[Katz94]

Previous slide Next slide Back to first slide View graphic version