Булева алгебра з двома елементами

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Булева алгебра з двома елементамибулева алгебра на булевій множині. Використовується в бінарній логіці.

Визначення

[ред. | ред. код]

B - це частково впорядкована множина і елементи цієї множини є також її обмежені множини. Операція арності n це функція . Булева алгебра складається з двох бінарних операцій і унарної операції. Ця алгебра є фундаментом функціонування цифрових дискретних систем. Операція в такій алгебрі має назву "логічного АБО" (logical OR), операція -- "логічного І" (logical AND), а елементам 1 та 0 ставляться у відповідність твердження "істина" (true) та "неправда" (false).

Деякі основні тотожності

[ред. | ред. код]

Зверніть увагу:

  • і працює так само, як в чисельній арифметиці, окрім того, що
  • обмінявши 0 і 1, і '' і '' отримаємо істину, саме в цьому полягає дуальність

Виконується властивість дистрибутивності: