eXpimal - Logic calculator

Máy tính logic toán học chức năng nhất.

Ứng dụng này có các chức năng như sau:

- tạo bảng sự thật;

- tìm DNF, CNF, PDNF và PCNF;

- Tìm đa thức Zhegalkin (Phương pháp hệ số không xác định và phương pháp tam giác Pascal);

- lập bản đồ Karnaugh;

- giảm thiểu hàm Boolean với chuyển đổi tương đương (cả ngắn gọn và chi tiết);

- thuộc các lớp Đăng;

- vẽ sơ đồ lôgic (cả sơ đồ IEC và ANSI);

- vẽ sơ đồ bậc thang;

- giảm thiểu các chức năng sử dụng phương pháp McCluskey.

Các hàm Boolean có thể được hiển thị dưới dạng nhiều ký tự.

Phép toán đơn nguyên "phủ định" có thể được hiển thị dưới dạng một ký tự đơn lẻ hoặc ở dạng gạch ngang.

Số biến tối đa trong hàm bị giới hạn bởi 6.

Số lượng phủ định nhúng hàm tối đa bị giới hạn bởi 5.

Số ký tự tối đa trong hàm được giới hạn bởi 64.

Bản đồ Karnaugh, hàm PCNF và PDNF, đa thức Zhegalkin, phương pháp McCluskey và các lớp Post chỉ có thể được sử dụng để vận hành một vectơ giá trị.

Mô đun của vectơ phải chứa 4, 8, 16, 32 hoặc 64 ký tự.

Các giá trị 0 và 1 có thể được sử dụng trong hàm này nhưng nó sẽ chỉ được đơn giản hóa.

Hàm ý là không thể chấp nhận được đối với việc vạch ra một sơ đồ logic.

Không có quảng cáo bật lên.

Ứng dụng này thể hiện các hoạt động dễ hiểu và không gặp sự cố một cách trực quan. Tất cả các kết quả được hiển thị chi tiết cùng với nhận xét.