Trình tạo bảng chân lý

  1. đầu vào
  2. Tùy chọn
  3. kết quả

Trình tạo bảng chân lý

Xây dựng và khám phá các bảng chân trị với các nút toán tử, ví dụ, phân loại công thức, chuẩn DNF và CNF, tiểu hạng và xuất.

Xây dựng bảng chân lý

Nhập biểu thức Boolean hoặc tập hợp nó bằng các nút toán tử.

So sánh tùy chọn sử dụng sự kết hợp của các biến (tối đa 8) và làm nổi bật các ví dụ mẫu. Thay đổi đầu vào, sau đó xây dựng bảng để cập nhật kết quả. Mỗi biểu thức được giới hạn ở 2000 ký tự.

Toán tử biểu thức logic

Bạn cũng có thể gõ NOT, AND, OR, XOR, NAND, NOR, IMPLIES và IFF.

Ví dụ nhanh

Biểu thức được đánh giá cục bộ trong trình duyệt của bạn.

biểu thức được phân tích cú pháp
(A ∧ B) → C
Công thức logic ngẫu nhiên
Biến
A, B, C
kết hợp
8
Hàng có kết quả 1
7
Hàng có kết quả 0
1

Bảng chân lý Boolean

PDF / In: Tất cả (8)

#
A
B
C
kết quả
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Các dạng Boolean chuẩn

Canonical DNF được xây dựng từ các hàng của bảng có kết quả 1; chuẩn CNF được xây dựng từ các hàng của bảng có kết quả 0.

Dạng chuẩn tắc phân biệt chính tắc (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Dạng liên hợp chuẩn tắc (CNF)
(¬A ∨ ¬B ∨ C)
tiểu số Boolean
Σm(0, 1, 2, 3, 4, 5, 7)
Đại số Boolean
ΠM(6)

Tạo bảng chân lý trực tuyến

Nhập hoặc tập hợp biểu thức Boolean và kiểm tra mọi kết hợp của tối đa tám biến với giá trị kết quả.

Phân loại một công thức dưới dạng lặp lại, mâu thuẫn hoặc ngẫu nhiên, lọc các hàng và xuất bảng cùng với các điều khoản chính tắc DNF, CNF, tiểu hạng và tối đa.

Bắt đầu nhanh

Xây dựng bảng chân lý hoặc so sánh hai biểu thức về sự tương đương.

  1. Nhập một biểu thức và so sánh tùy chọn
  2. Xây dựng bảng để cập nhật kết quả
  3. Kiểm tra các ví dụ mẫu và xuất bảng hoàn chỉnh
✓ Công cụ chạy trực tiếp trên trình duyệt và sẵn sàng kiểm tra nhanh mà không cần cài đặt phần mềm.
✓ Đầu vào có thể bị xóa và tính toán lại ngay lập tức, rất hữu ích cho các tác vụ nhỏ lặp đi lặp lại.
✓ Sử dụng chế độ toàn màn hình khi bạn cần thêm không gian cho văn bản dài, dữ liệu có cấu trúc hoặc khối kết quả lớn.
✓ Các nút sao chép có sẵn trên đầu ra được tạo để kết quả có thể được sử dụng lại trong mã, tài liệu hoặc cuộc trò chuyện hỗ trợ.
✓ Hầu hết các hoạt động đều mang tính xác định: cùng một đầu vào và các tùy chọn tạo ra cùng một đầu ra.
✓ Đối với nội dung nhạy cảm, hãy ưu tiên các công cụ trình duyệt cục bộ và xem lại kết quả trước khi chia sẻ thêm.

Công cụ khác

Máy tính biểu thức toán học
Máy tính biểu thức toán học
Máy tính tổ hợp
Máy tính tổ hợp
Máy tính số học mô-đun
Máy tính số học mô-đun
Chuyển đổi DOC sang PDF trực tuyến
Chuyển đổi DOC sang PDF trực tuyến
Chuyển đổi DOCX sang PDF trực tuyến
Chuyển đổi DOCX sang PDF trực tuyến
Chuyển đổi ODT sang PDF trực tuyến
Chuyển đổi ODT sang PDF trực tuyến

Đánh giá của người dùng

Đánh giá được kiểm tra trước khi xuất bản. Chúng tôi công bố những phản hồi tích cực thực sự và những lời chỉ trích cụ thể. Thư rác và những lời lăng mạ không có chi tiết hữu ích sẽ không được xuất bản; lời tục tĩu và thông tin cá nhân được che giấu. Phiếu thuận được tính ngay; phiếu tiêu cực được tính sau khi xem xét.

Đánh giá phản ánh trải nghiệm của người dùng chứ không phải sự đảm bảo về kết quả hoặc mô tả về giới hạn dịch vụ. Sử dụng các nút xếp hạng ở trên để để lại đánh giá.

Chưa có đánh giá nào được công bố bằng ngôn ngữ này.