It is always possible to rewrite an

It is always possible to rewrite any formula to positive normal form,
where all negations appear only in front of atomic propositions
. Note that
this is actually required to evaluate formulas with negations that are not
directly before atomic propositions. It can be accomplished by using
the dualities

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

Nó luôn luôn có thể để ghi lại bất kỳ công thức với tích cực hình thức bình thường,vị trí tất cả negations xuất hiện chỉ ở phía trước của các mệnh đề nguyên tử. Lưu ý rằngĐiều này là thực sự cần thiết để đánh giá các công thức với negations khôngtrực tiếp trước khi mệnh đề nguyên tử. Nó có thể được thực hiện bằng cách sử dụngchia các

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

Nó luôn luôn là có thể viết lại công thức nào để hình thức bình thường tích cực,
nơi mà tất cả phủ định chỉ xuất hiện ở phía trước của các mệnh đề nguyên tử
. Lưu ý rằng
điều này là thực sự cần thiết để đánh giá công thức với phủ định mà không phải là
trực tiếp trước khi mệnh đề nguyên tử. Nó có thể được thực hiện bằng cách sử dụng
các nhị nguyên