Design Example: Seatbelt

B D P S' S

0 0 0 1 0

0 0 1 0 1

0 1 0 1 0

0 1 1 1 0

1 0 0 1 0

1 0 1 1 0

1 1 0 0 1

1 1 1 1 0

Define variables:

S = car starts, B = belts are buckled, D = Door is closed, P = brake is on

S = B'D'P + BDP'

S' = B'D'P' + B'DP' + B'DP

+ BD'P' + BD'P + BDP

Previous slide

Next slide

Back to first slide

View graphic version