Note that the conditions above are

Note that the conditions above are mutually exclusive with respect to release points,
namely given  and i , only one formula in the disjunction holds and that corresponds
to the one with release points set to true in execution trunc(, i ).

Kết quả (Việt) 1:

Lưu ý rằng các điều kiện trên lẫn nhau đối với bản phát hành điểm,cụ thể là cho tôi, các công thức chỉ có một trong disjunction giữ và tương ứngđến với bản phát hành điểm đặt True trong thực hiện trunc (, tôi).

Kết quả (Việt) 2:

Lưu ý rằng các điều kiện nêu trên là loại trừ lẫn nhau liên quan đến phát hành với điểm,
cụ thể là được? và tôi, chỉ có một công thức trong phân ly giữ và tương ứng
với một với điểm phát hành thiết lập để thực trong thực hiện trunc (?, i).