Таблица истинности. СДНФ.СКНФ.

Sử dụng máy tính, bạn có thể xây dựng bảng chân trị cho hàm hoặc vectơ Boolean đã nhập, tính toán dạng chuẩn tắc liên hợp hoàn hảo và liên hợp hoàn hảo, tìm biểu diễn của hàm dưới dạng đa thức Zhegalkin và ứng dụng cũng cung cấp thông tin lý thuyết cơ bản về các toán tử logic.

Máy tính có thể làm gì
1. Xây dựng bảng sự thật
2. Xây dựng một dạng chuẩn liên kết hoàn hảo (SKNF)
3. Xây dựng một dạng chuẩn hoàn hảo không kết hợp (SDNF)
4. Xây dựng đa thức Zhegalkin (theo phương pháp hệ số không xác định)
5. So sánh hai chức năng cho sự tương đương