§ 26. Алгебра логики

Вопросы к параграфу

1. Что изучает алгебра логики?

2. Какими объектами оперирует алгебра логики?

3. Какие значения могут принимать объекты алгебры логики?

4. Какими способами можно отразить логическую функцию?

5. Какая логическая операция является унарной? Почему? В чем ее смысл?

6. В каком случае результатом конъюнкции будет истина?

7. В каком случае результатом дизъюнкции будет ложь?

8. В чем разница между дизъюнкцией и строгой дизъюнкцией?

9. Как выполняется импликация? Приведите примеры.

10. В каких случаях результатом эквивалентности будет истина? Приведите примеры.

11. В виде каких логических элементов реализованы логические операции: инверсия, конъюнкция, дизъюнкция, строгая дизъюнкция, импликация, эквивалентность?

12. Что такое логическое выражение? В чем состоит формализация составного логического высказывания?

13. По каким правилам строится таблица истинности для логического выражения?

14. Для чего в алгебре логики используются эквивалентные преобразования логических формул?

15. Какие законы используются при эквивалентных преобразованиях логических формул?

16. Каких логических операций достаточно для представления любой логической функции?