etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 := TRUE; etisserant@44: QX2 := TRUE; etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX2 = TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 = FALSE AND QX2 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 = TRUE AND QX2 = TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 = TRUE AND QX2 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 OR GX2 OR QX3 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 OR GX2 OR QX3 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 OR GX2 OR QX3 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 AND GX2 AND QX3 = TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 := QX2 XOR QX1; QX2 := NOT QX2 etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 = FALSE AND QX2 = TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 = TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 = TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 := TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 := FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: IX1 := TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 : = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX2 : = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX2 : = FALSE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX1 := TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX2 := TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: QX3 := TRUE etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: