In the above formula, the symbol ∧ expresses the logical connective ‘and’. Thus, the formula states four properties that must all hold for the formula to be true.
Trong công thức trên, ∧ biểu tượng thể hiện liên kết hợp lý 'và'. Do đó,công thức tiểu bang bốn thuộc tính phải tất cả các tổ chức cho công thức là đúng.
Trong công thức trên, các biểu tượng thể hiện sự logic ∧ kết 'và'. Như vậy, công thức nêu bốn thuộc tính tất cả những gì phải giữ cho công thức là đúng.