2013-02-15 65 views
93

Tôi đã tái cấu trúc mã cũ và gặp phải một số điều kiện IF quá phức tạp và lâu dài và tôi chắc chắn rằng chúng có thể được đơn giản hóa. Tôi đoán là những điều kiện đó tăng lên rất nhiều do những sửa đổi sau này.Bất kỳ biểu thức boolean đơn giản nào không?

Dù sao, tôi đã tự hỏi liệu có ai trong số các bạn biết về một bộ mô phỏng trực tuyến tốt mà tôi có thể sử dụng hay không. Tôi không quan tâm đến bất kỳ ngôn ngữ cụ thể, chỉ là một simplifier rằng sẽ mất trong ví dụ:

(! (A HOẶC B) VÀ (B và C) HOẶC C)

Và cho tôi một phiên bản đơn giản của biểu thức, nếu có.

Tôi đã xem xét các câu hỏi tương tự khác nhưng không ai chỉ cho tôi một mô phỏng tốt.

Cảm ơn.

+0

WolframAlpha cũng đến * C *. Không có cổng phụ ... –

+0

Có một công cụ trực tuyến tuyệt vời - http://tma.main.jp/logic/index_en.html –

Trả lời

81

Bạn có thể thử Wolfram Alpha như trong ví dụ này dựa trên đầu vào của bạn:

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc

+2

Trang web dường như không tốt cho việc đơn giản hóa công thức boolean khi chúng phức tạp hơn một chút. Hãy thử cái này: (((KHÔNG C) VÀ (KHÔNG A)) HOẶC ((KHÔNG B) VÀ (KHÔNG C) VÀ (KHÔNG D) VÀ (KHÔNG A)) HOẶC ((KHÔNG B) VÀ (KHÔNG C) VÀ D VÀ A) HOẶC (B VÀ C VÀ (KHÔNG D) VÀ (KHÔNG A)) HOẶC (B VÀ C VÀ D VÀ A)) –

+1

Thật vậy. Lạ thật. Nó thậm chí còn bị cấm ở phiên bản đơn giản là “KHÔNG C VÀ KHÔNG CÓ HAY KHÔNG B VÀ KHÔNG C VÀ KHÔNG D VÀ KHÔNG HOẶC KHÔNG B VÀ KHÔNG C VÀ D VÀ A HOẶC B VÀ C VÀ KHÔNG D VÀ KHÔNG HOẶC B VÀ C VÀ D VÀ A'. –

+2

Lưu ý rằng nếu bạn muốn bảng chân lý, không phải lúc nào cũng được xuất ra cho một số biểu thức, sau đó bắt đầu truy vấn với từ "bảng chân lý" theo sau biểu thức – Belgi

14

Hãy thử Logic Friday 1 Nó bao gồm các công cụ từ Univerity of California (Espresso và misII) và làm cho chúng có thể sử dụng được với GUI. Bạn có thể nhập các phương trình boolean và các bảng chân lý như mong muốn. Nó cũng có đầu vào và đầu ra của sơ đồ cổng đồ họa.

Việc giảm thiểu có thể được thực hiện hai cấp hoặc nhiều cấp. Biểu mẫu hai cấp mang lại tổng sản phẩm thu nhỏ. Biểu mẫu đa cấp tạo ra một mạch gồm các cổng logic. Các loại cổng có thể bị hạn chế bởi người dùng.

Biểu thức của bạn đơn giản hóa thành C.

+2

Đối với công cụ trực tuyến nhanh, điều này thực sự hữu ích: http://tma.main.jp/logic /index_en.html –

5

tôi thấy rằng The Boolean Expression Reducer là dễ dàng hơn để sử dụng hơn logic thứ Sáu. Thêm vào đó nó không yêu cầu cài đặt và là đa nền tảng (Java).

Cũng trong Logic Thứ Sáu biểu thức A | B chỉ trả về 3 mục trong bảng sự thật; Tôi mong đợi 4.

+3

Kích hoạt tùy chọn "Truthtable/Show all Rows" trong Logic Thứ Sáu. , bạn chỉ nhận được tất cả các hàng có giá trị đầu ra 1. –

+1

Nội bộ, bexpred đang sử dụng các thuật toán đơn giản để hợp nhất các minter. Nó có thể hữu ích cho các biểu thức nhỏ nhưng chắc chắn không phải là nhà nước-of-the-nghệ thuật. –

+2

Đối với "A \ * B \ * (! A \ * B +! A \ *! B)" đầu vào bình này trả về SOP Sai nhưng POS Đúng. Không chính xác kịch bản đáng tin cậy ... – Evil

Các vấn đề liên quan