The boolean function operations dis

The boolean function operations discussed in Section 3.2 are a standard feature of BDD
libraries [20]. The ∧ (and), ∨ (or), and − (difference) boolean function operations can
be applied to two BDDs, producing a BDD of the resulting function. The BDD
existential quantification operation exist is used to produce a new BDD where nodes
corresponding to projected attributes are removed. This operation combines the low
and high successors of each removed node by applying an ∨ operation.

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

Các hoạt động chức năng boolean thảo luận trong phần 3.2 là một tính năng tiêu chuẩn của BDDthư viện [20]. Các ∧ (và), ∨ (hoặc), và có thể hoạt động chức năng boolean − (khác biệt)được áp dụng cho hai BDDs, sản xuất một BDD chức năng kết quả. BDD hoạt động quantification hiện sinh tồn tại được sử dụng để sản xuất một BDD mới nơi mà các núttương ứng với thuộc tính dự kiến sẽ bị loại bỏ. Thao tác này kết hợp thấpvà những người thừa kế cao của mỗi loại bỏ nút bằng cách áp dụng một hoạt động ∨.

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

Các hoạt động chức năng boolean được thảo luận trong mục 3.2 là một tính năng tiêu chuẩn của BDD
thư viện [20]. Các ∧ (và), ∨ (hoặc), và - (sự khác biệt) hoạt động chức năng boolean có thể
được áp dụng cho hai BDDs, sản xuất một BDD của hàm kết quả. Các BDD
hiện sinh quanti hoạt động fi cation tồn tại được sử dụng để sản xuất một BDD mới, nơi các nút
tương ứng với thuộc tính dự được loại bỏ. Hoạt động này kết hợp với mức thấp nhất
kế thừa và cao của mỗi nút loại bỏ bằng cách áp dụng một hoạt động ∨.