| 1. Идемпотентность
|
| А Ù А = А
| А Ú А = А
|
| 2. Коммутативность
|
| А Ù В = В Ù А
| А Ú В = В Ú А
|
| 3. Ассоциативность
|
| А Ù (В Ù С) = (А Ù В) Ù С
| А Ú (В Ú С) = (А Ú В) Ú С
|
| 4. Правила поглощения
|
| А Ù (А Ú В) = А
| А Ú (А Ù В) = А
|
| 5. Дистрибутивность
|
| А Ù (В Ú С) = (А Ù В) Ú (А Ù С)
| А Ú (В Ù С) = (А Ú В) Ù (А Ú С)
|
| 6. Правила де Моргана
|
| 
|
| 7. Свойства констант
|
| А Ù И = А
А Ù Л= Л
| А Ú Л = А
А Ú И = И
|
| 8. Закон исключения третьего и закон противоречия
|
| 
|
| 9. Снятие двойного отрицания
|
|
|
| 10. Формулы расщепления (склеивания)
|
| 
|
| 11. Связь дизъюнкции, конъюнкции, отрицания и импликации
|
|
| 12. Выражение эквивалентности
|
|