This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 1 ³ , then ±M² w³ → ±N² v² − t 1 ³ . Because ±f² 1 ³ → ±x² 1 ² ³ , by the contrapositive law, ±x² ³ → ±f² ² ³ . 3. Extended backward (EB) implications: Extended backward implications aim to increase the number of implications for any single node by exploring the unjustified implied nodes in the implication list. Using the same circuit shown in Figure 4.22 again, in the implication list of f = 1, d = 1 is an unjustified gate because none of d ’s inputs has been implied to a value of logic 1. Thus, d is a candidate for the application of extended backward implications. To obtain extended backward implications on d , a transitive closure is first performed x = 1 c = 1 f = 1 g = 1 k = 1 e = 1 d = 1 j = 1 –1 ± FIGURE 4.24 Adding indirect implications for f = 1....
View Full
Document
 Spring '08
 elbarki
 Gate

Click to edit the document details