Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые обзорные » Рішення задач з логіки та обчисленню висловлювань

Реферат Рішення задач з логіки та обчисленню висловлювань





)) В® $ z (B (x) В® C (z));


а. Привести вираз до виду ПНФ:


F = " x (B (x) В® A (y)) & (B (x) В® " y (A (y) В® < span align = "justify"> C (z))) В® $ z (B (x) В® C (z)) =

= Г? ( " < span align = "justify"> x (B (x) В® A (y)) & (B (x) В® " y (A (y) В® C (z)))) V $ z (B (x) В® C (z) ) =

= Г? " x (B (x) В® A (y)) V Г? (B (x) В® " y (A (y) В® C (z))) V $ z (B (x) В® C (z)) =

= Г? " x ( Г? B (x) VA (y)) V Г? ( Г? B (x) V " y ( Г? A (y) VC (z))) V $ z ( Г? B (x) VC (z)) =

= Г? " x ( Г? B (x) VA (y)) V (B (x) & Г? "


Назад | сторінка 16 з 27 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Методи рішень завдань логіки висловлювань, логіки предикатів і реляційної л ...
  • Реферат на тему: Принцип резолюції в обчисленні висловлювань та логіки предикатів і його мод ...
  • Реферат на тему: Основи логіки: завдання та рішення
  • Реферат на тему: Рішення оптимізаційних задач
  • Реферат на тему: Інформатика. Рішення задач