ДҚФ-ті ҚҚФ-ке түрлендірудің алгоритмі.
Егер формуланың ДҚФ белгілі болса ,оны төмендегі ережемен ҚҚФ түрлендіруге болады.
Айталық, ДҚФ F= түрінде болсын. Мұндағы -элементар конъюнкциялар.
1. F-ке қос терістеу F= заңын қолданып, -ті
Достарыңызбен бөлісу: |