ТГУ Алгебра логики задание 1 вариант 2. Практическое задание 1 — копия. 1 Основные понятия алгебры высказываний

• Название: 1 Основные понятия алгебры высказываний
• Анкор: ТГУ Алгебра логики задание 1 вариант 2
• Дата: 26.01.2022
• Размер: 350.73 Kb.
• Имя файла: Практическое задание 1 — копия.docx
• Тип: Документы; #342249

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
федеральное государственное бюджетное образовательное учреждение

высшего образования

«Тольяттинский государственный университет»
«Тольяттинский государственный университет»

____________________________________________________________

(институт)
Высшая математика и математическое образование

____________________________________________________________

(кафедра)

Практическое задание №1
по учебному курсу «Математическая логика и теория алгоритмов»
Вариант 2

Студент
Группа
Преподаватель

Тольятти 2020

Практическое задание 1

Тема 1.1. Основные понятия алгебры высказываний
Задание 1

Составив таблицы истинности, выясните, равносильны ли формулы алгебры высказываний

Будем использовать таблицы истинности конъюнкции, дизъюнкции, импликации и эквивалентности.

X	Y
0	0	0	0	1	1
0	1	0	1	1	0
1	0	0	1	0	0
1	1	1	1	1	1

Таблица истинности формулы F

X	Y	Z
0	0	0	1	1	1	1	0	1	1	1
0	0	1	1	0	1	1	0	1	0	0
0	1	0	0	1	1	1	0	1	1	1
0	1	1	0	0	1	1	0	1	0	0
1	0	0	1	1	1	1	0	1	1	1
1	0	1	1	0	1	1	0	1	0	0
1	1	0	0	1	0	0	1	0	0	0
1	1	1	0	0	0	1	1	0	1	1

Таблица истинности формулы G

X	Y	Z
0	0	0	1	1	0	0	1	1	1
0	0	1	1	0	0	0	1	0	0
0	1	0	0	1	0	0	1	1	1
0	1	1	0	0	0	0	1	0	0
1	0	0	1	1	0	0	1	1	1
1	0	1	1	0	0	0	1	0	0
1	1	0	0	1	1	0	0	0	0
1	1	1	0	0	1	1	0	0	1

Формулы F и G эквивалентны.