Введення
Метою даної роботи є закріплення матеріалу, отриманого в теоретичних курсах, закріплення навичок самостійної роботи з теоретичним матеріалом, застосування знань до вирішення конкретних завдань.
Завданням роботи є вирішення (на основі набутих знань та вивчення спеціальної та нормативно-методичної літератури) завдань з логіки та обчисленню висловлювань, логіці і обчисленню предикатів, реляційної логіці.
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
У таблиці істинності жирним шрифтом виділено стовпці з посилками, а жирним і курсивом виділено висновок. Дивлячись на ті рядки, в яких істини всі посилки одночасно (в даному випадку це перша і друга, які виділені жирною рамкою), видно, що укладення також істинно. Тому можна зробити вис...
