Độ khó: Mới Bắt ĐầuDanh mục: Đại Số BooleanLoại: Nhiều Lựa Chọn
Kết quả của phép toán: đúng VÀ sai là gì?
đúng ∧ saiBài Tập Logic
Thực hành và cải thiện kỹ năng logic của bạn với các bài tập tương tác bao gồm đại số Boolean, logic mệnh đề, bảng chân lý và nhiều hơn nữa.
Luyện tập
Thực hành các bài tập tuần tự dựa trên bộ lọc và tùy chọn sắp xếp hiện tại của bạn. Hoàn hảo cho việc học có hệ thống và xây dựng kỹ năng.
Thực hành tuần tự
Theo dõi tiến trình
Học theo tốc độ của bạn
Độ khó: Mới Bắt ĐầuDanh mục: Đại Số BooleanLoại: Nhiều Lựa Chọn
Kết quả của phép toán: sai HOẶC đúng là gì?
sai ∨ đúngĐộ khó: Mới Bắt ĐầuDanh mục: Đại Số BooleanLoại: Nhiều Lựa Chọn
Kết quả của phép toán: KHÔNG đúng là gì?
¬đúngĐộ khó: Mới Bắt ĐầuDanh mục: Tương Đương LogicLoại: Kéo và Thả Chứng Minh
Sắp xếp các bước sau theo đúng thứ tự để chứng minh Q từ các tiền đề đã cho. Mục tiêu: Chứng minh Q
P → Q, P ⊢ QĐộ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Đánh Giá Biểu Thức
Đánh giá biểu thức sau: P ∧ Q khi P = đúng và Q = đúng
P ∧ Q where P = ⊤, Q = ⊤Độ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Đánh Giá Biểu Thức
Đánh giá biểu thức sau: P ∨ Q khi P = sai và Q = đúng
P ∨ Q where P = ⊥, Q = ⊤Độ khó: Mới Bắt ĐầuDanh mục: Tương Đương LogicLoại: Hoàn Thành Chứng Minh
Điền các lý do còn thiếu cho chứng minh này. Mục tiêu: Chứng minh Q
P → Q, P ⊢ QĐộ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Nhập Biểu Thức
Biểu diễn mệnh đề sau bằng ký hiệu logic: "Nếu trời mưa thì mặt đất ướt" Sử dụng: - R cho "trời mưa" - W cho "mặt đất ướt" - ** → ** cho phép kéo theo Nhập câu trả lời của bạn bằng các ký hiệu có sẵn trong máy tính.
Độ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Nhập Biểu Thức
Biểu diễn phát biểu sau bằng ký hiệu logic: "Trời nắng và ấm" Sử dụng: - S cho "trời nắng" - W cho "trời ấm" - ** ∧ ** cho phép hội (and) Nhập câu trả lời của bạn bằng các ký hiệu có sẵn trong máy tính.
Độ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Nhập Biểu Thức
Biểu diễn mệnh đề sau bằng ký hiệu logic: "Tôi sẽ học toán hoặc vật lý" Sử dụng: - M cho "Tôi sẽ học toán" - P cho "Tôi sẽ học vật lý" - ** ∨ ** cho phép tuyển (or) Nhập câu trả lời của bạn bằng các ký hiệu có sẵn trong máy tính.
Độ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Nhập Biểu Thức
Biểu diễn câu phát biểu sau bằng các ký hiệu logic: "Trời không mưa" Sử dụng: - R cho "trời đang mưa" - ¬ cho phép phủ định (not) Nhập câu trả lời của bạn sử dụng các ký hiệu có sẵn trong máy tính.
Độ khó: Mới Bắt ĐầuDanh mục: Logic Mệnh ĐềLoại: Nhập Biểu Thức
Biểu diễn phát biểu sau đây bằng ký hiệu logic: "Chuông báo động reo khi và chỉ khi phát hiện chuyển động" Sử dụng: - A cho "chuông báo động reo" - M cho "phát hiện chuyển động" - ** ↔ ** cho phép tương đương hai chiều (if and only if) Nhập câu trả lời của bạn sử dụng các ký hiệu có sẵn trong máy tính.
Duyệt Theo Danh Mục
Đại Số Boolean
Thành thạo cơ sở của đại số Boolean bao gồm các phép toán cơ bản, định luật và kỹ thuật rút gọn.
29 bài tập
Tương Đương Logic
Học cách nhận biết và chứng minh tương đương logic bằng các phương pháp khác nhau.
41 bài tập
Logic Mệnh Đề
Khám phá logic mệnh đề với các ẩn hàm, điều kiện hai chiều và các mối quan hệ logic phức tạp.
42 bài tập
Bảng Chân Lý
Thực hành tạo và phân tích bảng chân lý cho các biểu thức logic khác nhau.
27 bài tập
Duyệt Theo Độ Khó
Mới Bắt Đầu
Các khái niệm cơ bản và ứng dụng đơn giản - hoàn hảo để bắt đầu.
45 bài tập
Trung Cấp
Các bài toán phức tạp hơn yêu cầu hiểu biết nhiều khái niệm.
37 bài tập
Nâng Cao
Các bài tập thách thức kiểm tra hiểu biết sâu sắc và kỹ năng ứng dụng.
32 bài tập
Chuyên Gia
Các bài toán cấp độ chuyên gia cho những người đã thành thạo cơ bản.
25 bài tập
Duyệt Theo Loại
Nhiều Lựa Chọn
Chọn câu trả lời đúng.
16 bài tập
Rút Gọn
Đơn giản hóa một biểu thức logic.
30 bài tập
Kiểm Tra Tương Đương
So sánh hai biểu thức logic.
21 bài tập
Kéo và Thả Chứng Minh
Sắp xếp lại các bước chứng minh theo đúng thứ tự.
5 bài tập
Đánh Giá Biểu Thức
Đánh giá giá trị chân lý của một biểu thức.
5 bài tập
Hoàn Thành Chứng Minh
Điền vào các bước còn thiếu trong chứng minh một phần.
5 bài tập
Chứng Minh
Xây dựng chứng minh từng bước.
5 bài tập
Nhập Biểu Thức
Viết một biểu thức logic.
26 bài tập
Bảng Chân Lý
Tạo bảng chân lý hoàn chỉnh.
26 bài tập
Câu hỏi thường gặp
Giải đáp những thắc mắc phổ biến về cách dùng Máy tính Logic
Có những dạng bài tập nào?
Trắc nghiệm, điền bảng chân trị, rút gọn, kiểm tra tương đương, nhập và tính giá trị biểu thức, cùng các bài chứng minh — kể cả hoàn thiện chứng minh và một bộ dựng chứng minh bằng cách kéo thả. Chúng được nhóm thành logic mệnh đề, đại số Boole, bảng chân trị, tương đương logic, logic vị từ và suy diễn tự nhiên, và bạn có thể lọc theo phân loại, dạng, độ khó và thẻ.
Các mức độ khó nghĩa là gì?
Có bốn mức: cơ bản, trung cấp, nâng cao và chuyên gia. Chúng nói lên bạn cần biết bao nhiêu chứ không phải bài tập mất bao lâu; mỗi bài còn hiển thị thời gian ước tính và số điểm tương ứng.
Phiên luyện tập là gì?
Một loạt bài tập ở cùng một mức khó, nếu muốn thì thu hẹp theo phân loại và dạng bài mà bạn muốn rèn. Nó ghi điểm dọc đường, và khi kết thúc thì tóm tắt kết quả rồi mời bạn lên mức khó kế tiếp nếu còn.
Câu trả lời của tôi được chấm thế nào?
Ngay trong trình duyệt của bạn, bằng chính bộ máy chạy máy tính. Phần lớn các dạng so sánh câu trả lời của bạn với đáp án sau khi chuẩn hóa khoảng trắng và ký hiệu; riêng dạng nhập biểu thức còn đi xa hơn và kiểm tra tương đương logic, nên một công thức viết khác đi nhưng cùng nghĩa vẫn được tính là đúng. Mỗi bài đều kèm lời giải thích, hiện ra sau khi bạn trả lời.
Tôi có thể xem gợi ý khi bí không?
Có, ở những bài có gợi ý: một gợi ý bạn mở ra được mà không lộ đáp án. Nếu vẫn chưa đủ, quay lại bài hướng dẫn về chủ đề đó thường là đường về nhanh nhất — phân loại bài tập và các bài hướng dẫn đi theo cùng những chủ đề.