Питання для самоконтролю

1. Дайте визначення поняття «висловлення».

2. Дайте класифікацію висловлень.

3. Наведіть приклади умовних висловлень. Відповідь обґрунтуйте.

4. Яке висловлення називається достовірним? Наведіть приклад.

5. Опишіть множину значень висловлення.

6. Що складає алфавіт логіки висловлень?

7. Назвіть множину бінарних операторів.

8. За яким критерієм класифікуються оператори на унарні та бінарні?

9. Дайте визначення логічних операцій.

10. Яке призначення діаграм Вена?

11. Назвіть властивості логічних операцій.

12. Які логічні функції належать до основних? Відповідь обґрунтуйте.

13. Наведіть приклади словесного способу подання логічних функцій.

14. Подайте табличним способом функцію (АВ)В.

15. В чому суть аналітичного способу подання логічної функції?