Bei der Analyse logischer Schaltungen für die Testmustererzeugung erfolgen Wertzuweisungen. Es gibt zwei unterschiedliche Varianten:
- Implikationen sind notwendige Wertzuweisungen, die sich zwangsläufig und eindeutig ergeben.
- Entscheidungen sind optionale Wertzuweisungen, die Werte zuweisen, welche falsch sein können, d.h. die einen Konflikt herbeiführen können.