Câu hỏi: Trong các luật sau, luật nào là luật hấp thụ?

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 1: Cho A, B là 2 tập hợp. A là tập con của B được ký hiệu A x B, khi:

A. Tồn tại phần tử thuộc A thì tồn tại phần tử thuộc B

B. Tồn tại phần tử thuộc A thì cũng thuộc B

C. Mọi phần tử thuộc A thì tồn tại phần tử thuộc B

D. Mọi phần tử thuộc A đều thuộc B 

Câu 2: Biểu thức hằng đúng là?

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng.

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai.

Câu 3: Biểu thức hằng sai là?

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề.

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai

Câu 4: 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 5: Biểu thức logic không chứa thành phần nào dưới đây:

A. Các mệnh đề

B. Các vị từ

C. Các biến mệnh đề

D. Các phép toán logic

Câu 6: Trong các luật sau, luật nào là luật luỹ đẳng?

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\)