Законы алгебры логики

 

АЛ базируется на нескольких аксиомах, из которых выводят основные законы для преобразований с логическими переменными. Каждая аксиома представлена в двух видах, что вытекает из принципа дуальности логических операций, согласно которому операции конъюнкции и дизъюнкции допускают взаимную замену, если одновременно поменять 1 на 0, 0 на 1, знак Ú на ×, а знак × на Ú.

Аксиомы операции отрицания: , .

Аксиомы операций конъюнкции и дизъюнкции:

1а) 0×0=0 1б) 1Ú1=1

2а) 1×0=0×1=0 2б) 0Ú1=1Ú0=1

3а) 1×1=1 3б) 0Ú0=0

Законы АЛ вытекают из аксиом и также имеют две формы выражения а) и б).

Переместительный закон

а) a×b=b×a б) aÚb=bÚa

2. Сочетательный закон

а) a(bc)=(ab)c=abc б) aÚ(bÚc)=(aÚb)Úc=aÚbÚc

3. Закон тавтологии

а) a×a=a б) aÚa=a

4. Закон обращения: если a=b, то

5. Закон двойной инверсии: =a

6. Закон нулевого множества

а) a×0=0 б) aÚ0=a

7. Закон универсального множества

а) a×1=a б) aÚ1=1

8. Закон дополнительности

а) a× =0 б) =1

9. Распределительный закон

а) a(bÚc)=ab+a б) aÚ(bc)=(aÚb)( aÚc)

10. Закон поглощения

а) aÚab=a б) a(aÚb)=a

11. Закон склеивания

а) (aÚb)(aÚ )=a б) a.bÚ a. =a

12. Закон инверсии (закон Де Моргана)

а) б)

или после инвертирования

в) г)

 








Дата добавления: 2016-01-18; просмотров: 872;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.