Завдання 17

Завдання 16.

Завдання 15.

Завдання 14.

Завдання 13.

Завдання 12.

Завдання 11.

Завдання 10.

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

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

а) ;

б) ;

в) ;

г) .

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

Довести, що − тавтологія.

Записати у вигляді диз’юнктивної нормальної форми (ДНФ) і кон’юнктивної нормальної форми (КНФ) такі формули:

а) ; б) ; в) .

Записати у вигляді досконалої ДНФ і досконалой КНФ наступні формули: а) ; б) ; в) ; г) .

Перевірити правильність наступних висновків: а)

в) б) г)

Перевірити правильність наступного міркування. Якщо Таня не приходила додому до Валі, то або Валя розбила вазу, або Таня бреше. Якщо Валя не розбила вазу, то Таня приходила додому до Валі, або вазу розбили ще ранком. Якщо вазу розбили ще ранком, то або Валя її розбила, або Таня бреше. Отже, вазу розбила Валя.

Дата добавления: 2014-12-07