etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: 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@45: NOT ( QX1 OR QX2 OR QX3 ) etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: NOT ( QX1 OR QX2 OR QX3 ) etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: NOT ( QX1 OR QX2 OR QX3 ) etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: QX1 AND QX2 AND QX3 etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: 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@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: IX1 := TRUE; etisserant@45: etisserant@45: etisserant@45: etisserant@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: IX1 := FALSE; etisserant@45: etisserant@45: etisserant@45: etisserant@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: 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@45: 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@45: 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@45: QX2 := FALSE; etisserant@45: etisserant@45: etisserant@45: etisserant@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: QX1 := TRUE; etisserant@45: etisserant@45: etisserant@45: etisserant@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: QX2 := TRUE; etisserant@45: etisserant@45: etisserant@45: etisserant@45: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@44: etisserant@45: 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: