LUẬN LÝ TOÁN HỌC Thời gian làm : 30 phút Mã số đề 0101 Thí sinh sử dụng tài liệu giữ lại đề thi Thí sinh chọn câu trả lời tổng quát 2* Cho bảng thực trị sau : C (1) B 1 C (2) 1 A B (3) 0 F = (1) Cột F (1, 0, 0, 1, 0, 0, 0, 1) Cột F (1, 0, 1, 1, 0, 0, 0, 1) (2) 1 0 b d B 1 0 1 0 C 1 1 F 0 1 1 (3) Cột F (1, 0, 1, 1, 0, 1, 0, 1) Các câu a, b, c sai Vi a c A ne C 1 1 Zo B 1 0 1 0 en A 1 1 0 0 A 1 1 0 0 C om 1* F có bảng thực trị sau : a F=( A B C) ( A B) ( A B C) b F = (A B C) (A B C) ( A C) c F=( A B C) ( A B C) (A B C) d Các câu a, b, c sai Si nh 3* Lớp có bạn Trung ứng cử làm lớp trưởng Sau lớp bỏ phiếu Bạn Mai nói “Nếu bạn Lan bỏ phiếu cho Trung bạn Vân vậy" Bạn Lan nói “Nếu Mai khơng bỏ phiếu cho Trung Vân vậy" Còn Vân nói “Mai bỏ phiếu cho Trung Lan khơng" Nếu có bạn nói thật (trong bạn) bỏ phiếu cho Trung a c có Mai bỏ phiếu cho Trung có Mai Vân bỏ phiếu cho Trung 4* Công thức F = (A a c (A b d (A có Vân bỏ phiếu cho Trung Mai, Lan Vân bỏ phiếu cho Trung B) cho kết qủa (pp số học) : + A B 5* Công thức F = A a c B) b d Các câu a, b, c sai B) cho kết qủa (pp số học) : + A + A B 6* Hệ luận lý hệ thống {B b d Các câu a, b, c sai C, A} SinhVienZone.com https://fb.com/sinhvienzonevn a c B B C C b d A B Các câu a, b, c sai b d ( A C) (B C A) Các câu a, b, c b d ├─ ((A B) ( B A)) Các câu a, b, c 7* Công thức dạng Horn : a c A ( B (A B C) C) 8* Chọn phát biểu : ├─ (( A B) A) ├─ (A B) ( B A A) 9* Diễn dịch mơ hình cơng thức ( A a c { A, B, C} {A, B, C} b d {A, B, C} {A} { A B} { B A} (B A C) B { A, B, C} Các câu a, b, c không mô hình {{A, B}, { B, A}} Các câu a, b, c ( A B) (B C) b d ( A B) ( B (C D)) Các câu a, b, c sai Vi a c en 11* Công thức dạng CNF : B) : b d Zo a c ( C ne 10* Công thức dạng clausal form : B) C om a c ( A D) ( A D Si a c nh 12* Công thức dạng DNF : (B A) D C B) ( A C D) 13* Chuyển công thức A a c ( A ( A B) B (A (A B) B) C) ( A B) b d (A { A, B, F} { A, B, F} ( A B C D) Các câu a, b, c sai B) dạng DNF : b d B) 15* Dòng thuộc bảng thực trị công thức F = (B a c A ( B C) D Các câu a, b, c sai D) dạng CNF : ( C D) C D) 14* Chuyển công thức (A a c ((B b d b d ( A B) Các câu a, b, c sai A) ( A B) : {A, B, F} Các câu a, b, c sai SinhVienZone.com https://fb.com/sinhvienzonevn 16* {A , B, C} mô hình cơng thức : a c F = (A F = (A B) B) ( A A B) b d F = A (B C) Các câu a, b, c 17* Công thức hệ luận lý hệ thống {A, B, A A B b B C 18* Công thức tương đương với (A a c (A (A (B A)) A (B A)) A c A (B A)) C A (A B) A Các câu a, b, c sai b d ( A B) ( B C) Các câu a, b, c sai ne 20* Chọn phát biểu tổng quát : d B b d 19* Công thức dạng NNF : a (A B) (B C) c ( A) B (B C) B C om a C} nif (A C) ├─ (A B) C Cho biết chứng minh bắt đầu sai từ dòng : (B C) tiền đề A B a A e2 b B e2 c B C e 1, d Chứng minh không sai C e 4, (A B) i6 (A B) C sử dụng lại kết qủa chứng minh F G ├─ F G B) C i 2, Vi (B A if Si nh 21* A en Zo a “X không X không sai” b Để biểu diễn công thức LLMĐ cần tối thiểu toán tử logic c Câu a b d Câu a b sai 22* Chọn phát biểu sai : a ├─ F F (nguyên tắc triệt tam – LEM) b Hai công thức tương đương có tập mơ hình c Cơng thức cơng thức khơng mâu thuẫn d Có câu sai câu a, b, c 23* F = (A a c B) ( A (B F có tất mơ hình F có tất mơ hình C)) b d F có tất mơ hình Các câu a, b, c sai SinhVienZone.com https://fb.com/sinhvienzonevn 24* Chọn phát biểu sai : a ╞═ ((A B) B) A b Bài toán SAT tốn chứng minh cơng thức khả c Nếu A ├─ C B ├─ C A B├─ C d Có câu sai câu a, b, c 25* Chọn câu : a ├─ (A B) ((A C) (B C)) b Nếu A ≡ B A = B, ngược lại A = B A≡ B c Luận lý mệnh đề deductive logic d Các câu a, b, c Zo ne 02 – 03 câu = 01 điểm 07 – 08 câu = 03 điểm 12 – 13 câu = 05 điểm 17 – 18 câu = 07 điểm 22 – 23 câu = 09 điểm Si nh Vi en Cách tính điểm 00 – 01 câu = 00 điểm 04 – 06 câu = 02 điểm 09 – 11 câu = 04 điểm 14 – 16 câu = 06 điểm 19 – 21 câu = 08 điểm 24 – 25 câu = 10 điểm Đáp án để trang web .C om Tổng cộng : 25 câu SinhVienZone.com https://fb.com/sinhvienzonevn ... a, b, c sai SinhVienZone. com https://fb .com/ sinhvienzonevn 16* {A , B, C} mơ hình cơng thức : a c F = (A F = (A B) B) ( A A B) b d F = A (B C) Các câu a, b, c 17* Công thức hệ luận lý hệ thống... hình C)) b d F có tất mơ hình Các câu a, b, c sai SinhVienZone. com https://fb .com/ sinhvienzonevn 24* Chọn phát biểu sai : a ╞═ ((A B) B) A b Bài toán SAT tốn chứng minh cơng thức khả c Nếu A ├─... câu = 08 điểm 24 – 25 câu = 10 điểm Đáp án để trang web .C om Tổng cộng : 25 câu SinhVienZone. com https://fb .com/ sinhvienzonevn