2 Prepare the XBOOLE-monitor in such a way that the TVL of Gd

(a, x, dx)

is the object number 1, and execute the PRP e42 gds.prp.

Transform the differential representation Gd

(a, x, dx) of the graph calculated in Exercise 4.1 into its sequential representation Gs

(a, x, xf).
Use the equation xfi = xi ⊕ dxi, i = 1, 2, 3, as the theoretical background for the transformation. Restrict the result of the transformation to the variables

(a, x, xf) by means of an m-fold maximum operation

Transcribed Image Text:

Table 4.1 Solution set of thegraph equation of Exercise 4.1. 23 da da das a x2 0 1 1 1 1 0 0 00 0 0 1 0 1 0 0 1 10 - 0 1 0 0 1 0 Gs(a, x, dx) === 0 1 1 1 10 10 0 1 0 0 1 - 1 1 1 00000 0 0 1 00 0 0 1 - 0 0 1 101