Problem $3.$ Basic Facts About Multi$-$Level Don$$t Cares

Which of these are correct statements about multi$-$level don$$t cares? Select all the correct answers.

Satisfiability Don$$t Cares $($SDCs$)$ are associated with wires inside a Boolean network model, and represent impossible patterns of inputs to$,$ and the output of internal nodes.

Observability Don$$t Cares $($ODCs$)$ represent patterns at the input to a specific node in the Boolean network that make the node output unobservable at one or more network primary output$($s$).$

Status: $[$object Object$]$

$10$ points

$5.$

Question $5$

Problem $4.$ Satisfiability Don$$t Cares $($SDCs$)$