Формулаларды ықшамдау.

Формуланы ықшамдау деп ( -қос терістеу белгілері жоқ формулаға түрлендіретін немесе алғашқыға қарағанда белгілері аз формулаға түрлендіруді айтамыз. Негізгі эквиваленттік қатынастардан басқа формулаларды ықшамдау үшін төмендегідей эквивалентті қатынастар қолданылады.

1.Жұтылу заңдары.

;

2. Желімдеу заңдары.

1.

3. Жалпылама желімдеу заңы.

4. ;

5. = х₁ Ù х₂

6. = х₁Ú х₂

7. Импликацияны дизьюнкция, коньюнкция және терістеу арқылы байланыстыратын төмендегідей формулалар бар.

7.1 x ₁ ® х ₂ º Ú х₂

7.2 ® х ₂ º х₁ Ú х₂

7.3 º х₁ Ù х₂

7.4 x ₁ ® х ₂ º

8. Эквиваленцияның дизьюнкция , коньюнкция және терістеу арқылы өрнектелуі

8.1 x ₁ « х₂ºï(х₁® х₂ ) Ù (х₁® х₂ )ïº ( Ú х₂ ) Ù ( Ú х₁ )

8.2 x ₁ « х₂º(х₁Ù х₂ ) Ú ( Ù )

8.3 x ₁ « х₂º( Ú х₂ ) Ù ( Ú х₁ )

8.4 x ₁ « х₂º Ù

Кейде формулаларды қысқарту үшін конъюнкция белгісін жазбайды.

- өрнегін , деп ал - өрнегін деп түсіну керек.