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