Trong thí nghiệm trước, chúng ta đã được học cách chạy mô phỏng và mở cửa sổ máy hiện sóng. Chúng ta sẽ học cách điều chỉnh máy hiện sóng để đạt được hình ảnh quan sát tốt nhất. | Các đính dược hiếu điền bằng khối a 10 chứa trong Vịự v ự . Mạt khác các dinh dược biếu diều bằng khôi A cũng chứa trong Vịự -J Vji và khói . bao phủ bởi khối aIO . Do đó .rlõ khòiĩg phái là tích tói giân. Kiwi duy nhất bao phú aLv là . nhưng tập hợp bièư diên khói aaa không nằm trong Vị ự u Vdự do đó aIa là tích dơn gíiin của hàm Ặ ta cũng có . cũng là tích tối giân. Ta kỵ hiệu p là tập hợp lất cả các lích tối giãn cùa hàm lôgic khi dó ta sẽ có định lý về bao phủ cục tiểu sau Định lý về bao phủ cực tiểu Nếu tập họp V C của các dinh hie li dicn lập hợp các khổi đu ọc cho dưứi dạng i í i khi dó lập hợp dây đú các tích tôi giản p sẽ nhím trọng sò nho nhất trong tâì cã các khả nãng cú thế có của tập c thoâ mãn hệ thức V c V C cVj u V Hàm trọng số dược giá thiết là dương và don diệu lãng vói các biên độc lập là só lượng các biẻh tham gia vào críc tích lôgic cùa từng khôi và sớ lượng lất cả các khối. Đe chứng minh định lý này chứng ta dùng phương pháp phản chứng. Giii sử tổn lại tập hợp các khối c có trọng số cực tiến và không thori mãn yêu câu định lý khi đó trong các khối dó tồn tại ít nhất một khối không phái hì tích lói gian. Khói này được ký hiệu là khi đó la xét lập hợp . C c - c Ư c Ị. trong dó c là tích lối giân bao phú . Ta có sô lượng các khối trong tập hợp c và C bằng nhau. Vì í là tích tối gian c và bao phú c nèn trọng Số C nhỏ hơn c. Điểu dó là mâu thuẫn vì ta giá thiết C có trọng só nho nhát. Quií trình tối thiếu hóa các hàm lôgic dựa trên cơ sờ định lý ve bao phú lối tlìicu có thể được chia làm hai giai doạn sau a Xác định tâì cả các tích tối gián của hàm lõgic tíìp họp các tích tối giân ký hiệu là p b Tìm trong tập hợp các tập con c cưa tập p lập hựp có trọng số cực tiểu các khối Clllhl thỏa mãn hệ thức V cz V r . 28 2. lìm các tích tòi giiin trên co sờ bien di én trực quan. Pillion pháp búng Karnaugh Các lích lôi gian có 111C được tìm billig những sơ dó trực quan khi sò bien cùa hàm nhó. Trong phân trên chúng ta đã chỉ ra lằng hàm .
