Máy tính Logic
Trình tạo bảng chân trị miễn phí cho logic mệnh đề và đại số Boole. Với mọi biểu thức: bảng chân trị, các tính chất, các dạng tương đương, bìa Karnaugh và sơ đồ mạch; với mọi lập luận: một chứng minh bằng bảng ngữ nghĩa. Tất cả ngay trong trình duyệt.
Nhập một biểu thức logic để phân tích (hỗ trợ logic mệnh đề, đại số Boolean)
Hướng dẫn
Nhấp vào một toán tử để chạy ví dụ của nó trong máy tính. Mỗi toán tử đều liệt kê mọi cách bạn có thể gõ.
Học logic từng bước
Một lộ trình có hướng dẫn, từ mệnh đề đầu tiên qua bảng chân trị và đại số Boole đến cách logic được dùng trong lập trình, toán học và triết học.
Bài tập thực hành
Luyện tập với các bài tập về bảng chân trị, đại số Boole, tương đương logic và chứng minh. Theo dõi tiến độ và chạy các phiên luyện tập thích ứng.
Bảng Chân Lý sang Biểu Thức
Chuyển đổi bất kỳ bảng chân lý nào thành biểu thức logic. Tạo công thức Boolean dưới Dạng Chuẩn Tắc Tuyển (DNF) hoặc Dạng Chuẩn Tắc Hội (CNF) từ bảng chân lý tùy chỉnh của bạn.
Giới thiệu
Công cụ giáo dục toàn diện cho logic mệnh đề, đại số Boolean và tạo bảng chân lý. Hoàn hảo cho sinh viên và chuyên gia làm việc với biểu thức logic.
Liên Hệ & Báo Cáo Vấn Đề
Tìm thấy lỗi hoặc có phản hồi? Chúng tôi muốn nghe từ bạn. Gửi email cho chúng tôi tại [email protected]. Các câu hỏi được ưu tiên bằng tiếng Anh.
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
Máy tính hỗ trợ những toán tử logic nào?
Máy tính hỗ trợ mọi toán tử logic chuẩn: PHỦ ĐỊNH (¬, !), VÀ (&, ∧), HOẶC (|, ∨), KÉO THEO (→, ->) và TƯƠNG ĐƯƠNG (↔, <->). Bạn có thể dùng chúng để dựng những biểu thức logic phức tạp.
Làm sao gõ các ký hiệu như ∧ và → trên bàn phím thường?
Bạn không cần gõ. Mỗi ký hiệu đều có cách viết ASCII mà máy tính hiểu: & cho ∧, | cho ∨, ! hoặc ~ cho ¬, -> cho → và <-> cho ↔. Hai hằng ⊤ và ⊥ có thể viết là true và false, hoặc T và F. Nếu bạn thích chính các ký hiệu đó, bàn phím toán tử ngay dưới ô nhập sẽ chèn giúp bạn.
Tôi có thể kiểm tra hai biểu thức logic có tương đương hay không?
Có! Dùng chức năng kiểm tra tương đương bằng cách ngăn cách hai biểu thức bởi '==' để xác định chúng có tương đương về mặt logic hay không. Máy tính sẽ so sánh bảng chân trị của chúng để xác nhận.
Máy tính có kiểm tra được một lập luận có hợp lệ hay không?
Có. Hãy viết các tiền đề ngăn cách bằng dấu phẩy, rồi đến dấu suy ra, rồi kết luận, chẳng hạn 'p, p -> q ⊨ q'. Dấu suy ra cũng có thể gõ là |= hoặc |-. Máy tính cho biết kết luận có được rút ra hay không, tiền đề nào thực sự cần thiết, các tiền đề có thể cùng đúng hay không, và khi lập luận không đứng vững thì đưa ra các phản mô hình khiến mọi tiền đề đúng còn kết luận sai.
'Thỏa được' và 'hợp lệ' nghĩa là gì?
Một biểu thức thỏa được là biểu thức có thể nhận giá trị đúng dưới ít nhất một phép gán giá trị chân lý. Một biểu thức hợp lệ (hằng đúng) thì đúng dưới mọi phép gán. Máy tính tự động kiểm tra cả hai tính chất này cho biểu thức của bạn.
Dữ liệu
Chúng tôi sử dụng bộ nhớ cục bộ để lưu lịch sử của bạn. Nếu muốn xóa dữ liệu đó, hãy sử dụng nút bên dưới.