Trong bài toán tìm công thức tối tiểu của một hàm bool bằng phương pháp karnaught này, chúng ta sẽ sử dụng các ngôn ngữ lập trình đã học và dựa vào các kiến thức của môn học Toán Rời Rạc 1 , Kỹ Thuật Số, từ đó ứng dụng để cài đặt các thuật toán để tìm công thức tối tiểu thỏa mãng mục đích đề tài.

Thông qua đề tài này, nhằm giúp cho sinh viên hiểu rõ hơn phương pháp tìm công thức tối tiểu của một hàm bool bằng phương pháp karnaught, vấn đề về sự đơn giản của một công thức, làm giảm bớt phần khó khăn và thời gian trong việc tìm ra một hàm logic đơn giản.

Trong giới hạn đề tài này, chúng ta sẽ vận dụng các lý thuyết cơ bản về công thức dạng đa thức và sự tồn tại của nó, giới thiệu phương pháp karnaught để đi tìm công thức tối tiểu của một hàm bool 4 biến. Đây cũng là nội dung chính của đề tài