Дистрибутивті заңды пайдаланып, форму-ланы барлық конъюнкциялар дизъюнкциялардан бұрын орындалатындай түр-лендіреміз. 1-3 пункттерді орындаудың нәтижесінде формула дизъюнктивті қалыпты формаға түрлендіріледі.
Мысалы, ((xy)(xz)) формуласын дизъюнктивті қалыпты формаға түрлендіру керек болсын. , операцияларын ,, арқылы өрнектейміз.
Достарыңызбен бөлісу: |