Câu hỏi: Giả sử p và q là các mệnh đề. Hãy cho biết định nghĩa đúng của mệnh đề p XOR q.

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

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

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

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

Câu 1: Cho A = {1, 2, 4}, B = {2, 4, 5, 7}. Tập (A+B) + A là:

A. {1, 2, 4, 5, 7}

B. {1, 5, 7}

C. {2, 4}

D. {1, 2, 4} 

Câu 2: Thứ tự thực hiện các phép toán trong đại số Boole là:

A. ( ) – Bù – tổng – tích.

B. ( ) – Bù – tích – tổng.

C. Bù – tổng – tích – ( ). 

D. Bù – tích – tổng – ( ).

Câu 3: Để chứng minh “tích của 2 số hữu tỷ là một số hữu tỷ”, ta sử dụng phương pháp nào?

A. Chứng minh gián tiếp

B. Chứng minh trực tiếp

C. Chứng minh phản chứng

D. Chứng minh phân chia trường hợp

Câu 4: Hai biểu thức boole gọi là tương đương nhau nếu chúng:

A. Có cùng giá trị chân lý trong mọi trường hợp giá trị của các biến Boole. 

B. Có cùng số biến và có cùng giá trị chân lý. 

C. Cùng biểu diễn một hàm boole, số biến bằng nhau. 

D. Có số biến bằng nhau và biểu diễn 2 hàm boole giống hoặc khác nhau.

Câu 5: Cho A = {0, 1}, B = {a, b, c}. Tập AxB là:

A. {(a, b), (b, 0) (a,1), (b,1), (c,0), (1, c) }

B. { (0, a), (0, b), (1, a), (1,b ), (0, c), (1,c)}

C. { (1, a), (0, 1), (0, b), (0, c), (1, b), (1, c) }

D. { (0, a), (0, b), (0, c), (a, 1), (b, 1), (c, 1) }

Câu 6: Cho tập A={1, 2, 3, 4}.Trong các quan hệ trên tập A cho dưới đây, quan hệ nào là quan hệ tương đương?

A. {(1, 1), (1, 2), (1,3), (2,2), (2,1), (2,3), (3,3)}

B. {(1, 1), (3,3), (2,3), (2,1), (3,2), (1,3)} 

C. {(1,1), (1,2), (2,1), (2,2), (3,3), (4,4)} 

D. {(1, 1), (2, 2), (3,3), (4,4), (2,1), (2,3), (3,1)}