Then:

1. if the output is good, then the component and all its inputs are good.

2. if the output is bad, and all the inputs are good, then the component is bad.

This is the basis on which iTech also works.