Міністерство освіти і науки України

Національний університет “Львівська політехніка”

Інститут комп’ютерних наук та інформаційних технологій
Кафедра САП

ЗВІТ
Про виконання лабораторної роботи №6
з дисципліни: “Дискретна математика”
На тему: “Представлення математичної логіки в Maple”

Виконала:
ст. групи ПП-15
Федун Наталія
Прийняв:
доц. каф. САПР
Ребот Д. П..
Львів-2023
Мета роботи :оволодіти початковими знаннями математичної логіки за
допомогою програми Maple.

Варіант - 26

Завдання 1
Знайти значення істинності формули алгебри висловлювань на заданому
наборі значень.

Завдання 2
Скласти таблицю істинності для формули алгебри висловлювань.

Завдання 3
Перевірити чи наведена формула алгебри висловлень є логічно істинною
(тавтологією):
Отже, дана формула набуває значення true, тому вона є логічно істинною.
Завдання 4
Встановити для свого варіанту, чи формула алгебри висловлювань є: а)
тавтологією, б) суперечністю, в) нейтральною.

Як бачимо, дана формула набуває значення false, тому вона є

суперечністю.
Висновок: виконавши лабораторну роботу № 6 я опанувала початкові
знання математичної логіки за допомогою програми Maple. Складала
таблицю істинності для формули алгебри висловлювань, а також
визначала чи формула є: тавтологією, суперечністю чи нейтральною.