Анықтама. Формуланы оған эквивалентті (мәндес) басқа формуламен ауыстыруды эквивалентті түрлендіру дейміз.
Формулаларды ықшамдау.
Формуланы ықшамдау деп (-қос терістеу белгілері жоқ формулаға түрлендіретін немесе алғашқыға қарағанда белгілері аз формулаға түрлендіруді айтамыз. Негізгі эквиваленттік қатынастардан басқа формулаларды ықшамдау үшін төмендегідей эквивалентті қатынастар қолданылады.
1. Жұтылу заңдары.
;
2. Желімдеу заңдары.
1.
3. Жалпылама желімдеу заңы.
4.
Достарыңызбен бөлісу: |