ÑEÀ THI TOAÙN MAÙY TÍNH LÔÙP KS2 K4 LUẬN LÝ TOÁN HỌC Thời gian làm bài 30 phút Mã số đề 0101 Thí sinh được sử dụng tài liệu và giữ lại đề thi Thí sinh chọn câu trả lời đúng và tổng quát nhất 1* F có b[.]
Thời gian làm : 30 phút LUẬN LÝ TOÁN HỌC 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 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 A 1 1 0 0 B 1 0 1 0 C 1 1 F 0 1 1 2* Cho bảng thực trị sau : A 1 1 0 0 B C AC (1) B C (2) 1 1 1 1 0 1 1 0 0 a Cột F (1, 0, 0, 1, 0, 0, 0, 1) @c Cột F (1, 0, 1, 1, 0, 0, 0, 1) A B (3) 0 F = (1) (2) (3) 1 0 b d Cột F (1, 0, 1, 1, 0, 1, 0, 1) Các câu a, b, c sai 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 cịn 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 @b có Vân bỏ phiếu cho Trung d Mai, Lan Vân bỏ phiếu cho Trung 4* Công thức F = (A Ú ØB) Ù (A B) cho kết qủa (pp số học) : a c + nA nB @b d Các câu a, b, c sai 5* Công thức F = A (A B) cho kết qủa (pp số học) : a c + nA + nA nB b @d Các câu a, b, c sai 6* Hệ luận lý hệ thống {B Ú C, A} @a B Ú C c B ® C b d AB Các câu a, b, c sai 7* Công thức dạng Horn : a c A (B C) (A B C) b (A C) (B C A) @d Các câu a, b, c 8* Chọn phát biểu : a c ├─ ((A B) A) A ├─ (A B) (B A) b ├─ ((A B) (B A)) @d Các câu a, b, c 9* Diễn dịch mơ hình cơng thức (A B) (C B) : a { A, B, C} @c {A, B, C} b d {A, B, C} Các câu a, b, c không mơ hình 10* Cơng thức dạng clausal form : a c {A, B, C} {A} {A B} {B A} @b {{A, B}, {B, A}} d Các câu a, b, c 11* Công thức dạng CNF : a c (B C) (A B) A B (B C) b (A B) (B (C D)) @d Các câu a, b, c sai 12* Công thức dạng DNF : a c (A D) (B A) D C (A D B) (A C D) @b A (B C) D d Các câu a, b, c sai 13* Chuyển công thức A ® ((B Ù C) ® D) dạng CNF : a (A B) Ù (C D) @c (A B C D) b d (A B C D) Các câu a, b, c sai 14* Chuyển cơng thức Ø(A ® B) Ù (A Ú B) dạng DNF : @a (A Ù B) c (A Ù B) Ú (A Ù B) b d (A Ù B) Các câu a, b, c sai 15* Dịng thuộc bảng thực trị cơng thức F = (B A) (A B) : a c {A, B, F} {A, B, F} b {A, B, F} @d Các câu a, b, c sai 16* {A , B, C} mơ hình công thức : @a F = (A B) (A B) b F = A ® (B C) c F = (A B) A d Các câu a, b, c 17* Công thức hệ luận lý hệ thống {A, B, A® C } a A B @b B C c A B d B C 18* Công thức tương đương với (A Ù (B ® A)) ® A @a (A ® (B ® A)) ® A c (A ® (B ® A)) ® A b d (A ® B) ® A Các câu a, b, c sai 19* Công thức dạng NNF : a c (A ® B) (B C) (A) B (B C) @b (A B) (B C) d Các câu a, b, c sai 20* Chọn phát biểu tổng qt : 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 21* A ® (B ® C) ├─ (A Ù B) ® C Cho biết chứng minh bắt đầu sai từ dịng : A ® (B ® C) tiền đề if AÙB a A Ùe b B Ùe @c B®C ®e 1, d Chứng minh khơng sai C ®e 4, C (A Ù B) i nif (A Ù B) ® C sử dụng lại kết qủa chứng minh ØF Ú G ├─ F ® G (A Ù B) ® C ®i 2, 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 B) (A (B C)) @a F có tất mơ hình c F có tất mơ hình b d F có tất mơ hình Các câu a, b, c sai 24* Chọn phát biểu sai : a ╞═ ((A® B) Ù ØB) ® ØA b Bài tố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 Tổng cộng : 25 câu 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 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 ... biểu tổng quát : 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 21* A ® (B ® C) ├─ (A Ù B) ® C Cho biết chứng minh bắt đầu sai từ... (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 Tổng cộng : 25 câu Cách tính điểm 00 – 01 câu = 00 điểm 04 – 06 câu = 02