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