1. Що називається булевою алгеброю, основною множиною та сигнатурою булевої алгебри?
2. Які десять основних тотожностей існують?
3. Які шість теорем розкладення і підстановки існують?
4. Як доказати тотожність булевих формул на підставі таблиць істинності?
5. Як доказати тотожність булевих формул на підставі еквівалентних перетворень?
6. Які еквівалентні дії для функцій від двох змінних можна виконувати при спрощенні булевих формул?
7. Які булеві функції є подвійними, яка різниця між подвійними та самоподвійними булевими функціями?
8. У чому полягає принцип подвійності?
9. Чому можна казати, що алгебра множин є булевою, що необхідно для булевої алгебри?
10. Що є булевою алгеброю двійкових векторів?
11. Які алгебри можна назвати ізоморфними?
Список літератури