PPT Slide

2 – Combinational Logic

© 1996 Gaetano Borriello

Mapping truth tables onto Boolean cubes

• Uniting theorem combines two "faces" of a cube into a larger "face"

• Example:

39

A

B

00

01

F

11

10

two faces of size 0 (nodes) combinedinto a face of size 1(line)

A varies within face, B does not

this face represents the literal B'

A B F

0 0 1

0 1 0

1 0 1

1 1 0

ON-set = solid nodesOFF-set = empty nodesDC-set = X'd nodes

Previous slide

Next slide

Back to first slide

View graphic version