Changes

|}

|}

Given the sort of data that arises from this form of analysis, we can now fold the disjoined ingredients back into a boolean expansion or a DNF that is equivalent to the proposition <math>\operatorname{E}f.</math>

Given the sort of data that arises from this form of analysis,

we can now fold the disjoined ingredients back into a boolean

expansion or a DNF that is equivalent to the proposition Ef.

Ef  = xy · Ef_xy  + x(y) · Ef_x(y) + (x)y · Ef_(x)y + (x)(y) · Ef_(x)(y).

{| align="center" cellpadding="6" width="90%"

| <math>\operatorname{E}f ~~=~~ xy \cdot \operatorname{E}f_{xy} ~~+~~ x(y) \cdot \operatorname{E}f_{x(y)} ~~+~~ (x)y \cdot \operatorname{E}f_{(x)y} ~~+~~ (x)(y) \cdot \operatorname{E}f_{(x)(y)}.</math>

Here is a summary of the result, illustrated by means of a digraph picture,

Here is a summary of the result, illustrated by means of a digraph picture,

where the "no change" element (dx)(dy) is drawn as a loop at the point x·y.

where the "no change" element (dx)(dy) is drawn as a loop at the point x·y.