Câu hỏi: Cho A là tập hữu hạn, B là tập vũ trụ. Phần bù của A trong B là:

A. Tập chứa tất cả các phần tử hoặc thuộc tập hợp A hoặc thuộc tập hợp B.

B. Tập chứa các phần tử thuộc tập hợp A nhưng không thuộc tập hợp B.

C. Tập bao gồm những phần tử thuộc tập A và tập B.

D. Tập bao gồm những phần tử không thuộc A nhưng lại thuộc B

Câu 1: Trong các luật sau, luật nào là luật về phần tử trung hoà?

A. \(p \wedge (p \vee q) \Leftrightarrow p;p \vee (p \wedge q) \Leftrightarrow p\)

B. \(p \vee 1 \Leftrightarrow 1;p \wedge 0 \Leftrightarrow 0 \)

C. \(p \vee 0 \Leftrightarrow p;p \wedge 1 \Leftrightarrow p \)

D. \(p \vee p \Leftrightarrow p;p \wedge p \Leftrightarrow p\)

Câu 2: Cho các đẳng thức sau, có thể kết luận gì về các tập hợp A và B? A+ B = A, A + B = A

A. Bằng nhau

B. A là con B

C. Rời nhau

D. B là con A

Câu 3: Hai biểu thức mệnh đề E, F (có cùng bộ biến mệnh đề) được gọi là tương đương logic nếu…?

A. Nếu E có chân trị đúng thì F có chân trị sai và ngược lại.

B. E và F cùng có chân trị đúng.

C. E và F cùng có chân trị sai.

D. E và F có cùng chân trị trong mọi trường hợp về chân trị của bộ biến mệnh đề.

Câu 4: Cho A = {1,3,3,3,5,5,5,5,5} và B = {1,3,5}. Đáp án nào dưới đây mô tả chính xác nhất mối quan hệ giữa A và B:

A. Khác nhau

B. A là con B

C. Bằng nhau

D. B là con A

Câu 5: Giả sử P và Q là 2 mệnh đề, chọn đáp án đúng cho định nghĩa mệnh đề P→Q?

A. 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.

B. 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.

C. 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

D. 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.

Câu 6: Luật nào trong các luật sau là luật phân bố (phân phối)?

A. \(p \wedge (q \vee r) \Leftrightarrow (p \wedge q) \vee (p \wedge r); p \vee (q \wedge r) \Leftrightarrow (p \vee q) \wedge (p \vee r) \)

B. \(p \wedge (q \vee r) \Leftrightarrow (p \wedge q) \wedge r;p \vee (q \wedge r) \Leftrightarrow (p \vee q) \vee r\)

C. \(p \wedge (q \vee r) \Leftrightarrow (p \vee q) \vee (p \vee r);p \vee (q \wedge r) \Leftrightarrow (p \wedge q) \wedge (p \wedge r)\)

D. \(\overline {p \wedge q} \Leftrightarrow \overline p \vee \overline q \)