“…4. 22 , t 23 , t 24 }; where t 21 = (w = 1 ∧ z = 1, w := 0); t 22 = (w = 0 ∧ z = 0, w := 1); t 23 = (x = 1 ∧ w = 1, x := 0); t 24 = (x = 0 ∧ w = 0, x := 1); 31 , t 32 , t 33 , t 34 }; where t 31 = (u = 1 ∧ x = 0 ∧ y = 0, u := 0); t 32 = (u = 0 ∧ x = 1 ∧ y = 1, u := 1); t 33 = (z = 1 ∧ u = 1, z := 0); t 34 = (z = 0 ∧ u = 0, z := 1); Fig. 2.…”