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

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





Введення


Метою даної роботи є закріплення матеріалу, отриманого в теоретичних курсах, закріплення навичок самостійної роботи з теоретичним матеріалом, застосування знань до вирішення конкретних завдань.

Завданням роботи є вирішення (на основі набутих знань та вивчення спеціальної та нормативно-методичної літератури) завдань з логіки та обчисленню висловлювань, логіці і обчисленню предикатів, реляційної логіці.


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


. Виконати завдання з алгебри висловлювань та обчисленню висловлювань:

Варіант 22: {A; A Г  B} | - (C & A) < span align = "justify"> Г  (B & C)

Позначимо:

= А; 2 = B; 3 = C; 4 = A Г  B; 5 = C & A ; 6 = B &C; 7 = 5 Г  6;


a. Побудувати таблицю істинності:


ABC1 Г  23 & 12 & 35 Г  61234567 1 11 1 11 1 1 10 1 00 1 1 01 0 10 0 1 00 0 00 1 < b align = "justify"> 0 11 1 01 1 0 10 1 00 1 0 01 1 00 1 0 00 1 00 1

У таблиці істинності жирним шрифтом виділено стовпці з посилками, а жирним і курсивом виділено висновок. Дивлячись на ті рядки, в яких істини всі посилки одночасно (в даному випадку це перша і друга, які виділені жирною рамкою), видно, що укладення також істинно. Тому можна зробити вис...


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





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

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