Завдання 6. Розставити всілякими способами дужки в наступних формулах:
Розставити всілякими способами дужки в наступних формулах: а) Завдання 7. Виключити якомога більше число дужок у формулах: а) б) Завдання 8. Побудувати складні висловлення з використанням тільки зазначених операцій: а) еквівалентність; б) імплікація і кон’юнкція; в) заперечення, кон’юнкція і диз’юнкція. Завдання 9. Чи є наступні формули загальнозначущими, суперечливими або несуперечливими: а) Завдання 10. Довести, використовуючи логіку висловлень, що Завдання 11. Довести рівносильності: а) б) в) г) Завдання 12. Побудувати таблиці істинності для формул: а) Завдання 13. Довести, що Завдання 14. Записати у вигляді диз’юнктивної нормальної форми (ДНФ) і кон’юнктивної нормальної форми (КНФ) такі формули: а)
|
б) 
;
.
б) 
в) 
г) 
, де 
− множини.
;
;
;
.
; б) 
; в) 
.
− тавтологія.
; б) 
; в) 
.
