Giả sử P và Q là 2 mệnh đề. Tuyển của 2 mệnh đề (P v Q) là một mệnh đề… ?

Là một mệnh đề nhận chân trị đúng khi một trong hai hoặc cả 2 mệnh đề cùng đúng, nhận chân trị sai trong các trường hợp còn lại

Là một mệnh đề nhận chân trị đúng khi P và Q có cùng chân trị. Nhận chân trị sai trong các trường hợp còn lại

Là một mệnh đề nhận chân trị đúng khi P sai hoặc cả P và Q cùng đúng. Nhận chân trị sai khi và chỉ khi P đúng Q sai

Là 1 mệnh đề nhận chân trị đúng khi P và Q cùng đúng, sai khi P và Q cùng sai

Bằng nhau

A là con B

Rời nhau

B là con A

Định nghĩa, biến đổi tương đương logic

Lập bảng giá trị chân lý và kết luận theo định nghĩa

Biến đổi tương đương logic

Chứng minh trực tiếp

{c, d, g}

{c, d, g, a, k}

{a, d, k}

{c, g}

2

3

4

5

Bước phân tích và bước thay thế ngược lại

Bước tính toán và phân tích

Bước thay thế ngược lại và phân tích

Bước phân tích và bước tính toán

Dùng ngôn ngữ tự nhiên, dùng ngôn ngữ lập trình, viết chương trình

Dùng sơ đồ khối, dùng ngôn ngữ lập trình, viết chương trình

Dùng ngôn ngữ tự nhiên, dùng ngôn ngữ lập trình, dùng mã nhị phân

Dùng ngôn ngữ tự nhiên, dùng sơ đồ khối, dùng giả mã

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 [N/K] hộp

Giả sử A1, A2, . ., Am là những tập hữu hạn. Khi đó: N(A₁ ∪ A₂ ∪ ... ∪ A_m) = N₁ – N₂ + ... + (−1)^m-1N^m,

Nếu A1, A2,..., Am là những tập hợp hữu hạn thì: N(A₁ × A₂ × ... × A_m) = N(A₁)N(A₂)...N(A_m)

Nếu A1, A2,..., An là những tập hợp rời nhau thì: N(A₁ ∪ A₂ ∪ ... ∪ A_n) = N(A₁) + N(A₂) +...+ N(A_n)

n!

n! / k!(n-k)!

Nk

n!/(n-k)!

20

5

4

0