Завдання 9.

Чи є наступні формули загальнозначущими, суперечливими або несуперечливими: а) б) в) г)

Завдання 10.

Довести, використовуючи логіку висловлень, що , де − множини.

Завдання 11.

Довести рівносильності:

а) ;

б) ;

в) ;

г) .

Завдання 12.

Побудувати таблиці істинності для формул: а) ; б) ; в) .