Quan hệ tương đương là một quan hệ 2 ngôi và có các tính chất.

Là một mệnh đề chỉ đúng khi một trong p hoặc q là đúng và sai trong các trường hợp khác còn lại

Là một mệnh đề nhận giá T khi và chỉ khi p nhận giá trị F hoặc p và q cùng nhận giá trị T. Nhận giá trị F khi và chỉ khi p nhận giá trị T và q nhận giá trị F

Là một mệnh đề mà nó chỉ nhận giá trị T khi và chỉ khi ít nhất một trong hai mệnh đề p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi cả p, q đều nhận giá trị F

Là một mệnh đề mà nó chỉ nhận giá trị T khi và chỉ khi p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi hoặc p, q, hoặc cả hai nhận giá trị F

{2, 4, 6}

{3, 5, 7}

{1}

{1, 2, 3}

250

160

200

300

Là một dãy các bước mỗi bước mô tả các thao tác được thực hiên để giải quyết bài toán

Là một dãy vô hạn các bước mỗi bước mô tả các thao tác được thực hiên để giải quyết bài toán ban đầu

Là một dãy hữu hạn các bước, mỗi bước mô tả chính sách các phép toán hoặc hành động cần thực hiện để giải quyết một vấn đề

Là một dãy tuần tự các bước được thực hiên để giải quyết bài toán

Xây dựng toàn bộ các thành phần của cấu hình bằng cách thử tất cả các khả năng

Xây dựng dần các thành phần của cấu hình bằng cách thử tất cả các khả năng

Xây dựng mỗi thành phần của cấu hình bằng cách thử tất cả các khả năng

Xây dựng bất kì thành phần nào của cấu hình bằng cách thử tất cả các khả năng

Nếu có N đồ vật được đặt vào K hộp thì sẽ tồn tại một hộp chứa ít nhất đồ vật

Nếu A và B là hai tập hợp rời nhau thì: N(A+B ) = N(A) + N(B)

Nếu A và B là hai tập hợp thì: N(A+B) = N(A) + N(B) – N(A+B)

Nếu A và B là hai tập hợp thì: N(A.B ) = N(A).N(B)

C_m (k₁, k₂, ..., k_n) =

C_m (k₁, k₂, ..., k_n) =

C_m (k₁, k₂, ..., k_n) =

C_m (k₁, k₂, ..., k_n) =

Test(B,n) = { 1, 0, 1, 0, 1, 1, 0, 0, 0, 1(0)}

Test(B,n) = { 1, 0, 1, 0, 1, 0, 1, 1, 1, 1}

Test(B,n) = { 0, 1, 1, 0, 1, 0, 1, 1, 1, 0}

Test(B,n) = { 1, 1, 1, 0, 1, 0, 1, 1, 1, 0}

n1 n2 … nm

1 + n1 + n2 + … + nm

1+ n1 n2 … nm

n1 + n2 + … + nm

Dequy(2,5) = 10

Dequy(2,5) = 25

Dequy(5,2) = 25

Dequy(5,2) = 10