... { do ': b1 && !b2 > m = true; b1 := false; if 2: !b1 —> m = true; if 2: ': b1 && b2 > m = false; od } : when then 2 when then 2 when then RCV Trm \/ fßî ...
確定！ 回上一頁
