Контрольная работа: Основы дискретной математики

(B (A  B))) =

(B A B)) =

AB

3) (A FB ) AB

(A FB A) A FB B

Ø ( A FB ) =

A FB

FB– так выглядит выражение после минимизации.

Задание № 2

Анализ заданного бинарного отношения

2.1 Выбор варианта задания

Вариант требующего минимизации выражения бинарного отношения образуется заданием и подстановкой для шаблонной формулы: набора операций над действительными числами; набора нетривиальных операндов; бинарного отношения.

«№операций» =9mod4+1=2

№операц	a	b	g	d
Вариант2	abs	-	Æ	*

«№операндов»=9mod7+1=3

№операн	оп-д1	оп-д2	оп-д3	оп-д4
Вариант3	b-a	5*a	2*a+b	a/2

«№отношения»=24mod5+1=5

№варианта	отношение
Варіант 5	=

2.2 Бинарное отношение

В шаблонную формулу

( (Оп1  Оп2)) Relation ( (Оп3  Оп4))

подставляются результаты, и получается:

(abs((b-a-5*a)) = (Æ((2*a+b)*a/2)

упрощениеформулы:

| b – a – 5a | = ( 2a + b ) ^a/2

2.3 Построение графика

По данному отношению с помощью программ MathCad или MathLab, или же от руки, можно построить график:

2.4 Исследование свойств отношения

Свойства отношений доказываются путём приведения примеров на графике:

1. Функционален, так как не содержит пары с одинаковыми первыми коэфициентами

2. Инъективен, так как не содержит пары с одинаковыми вторыми компонентами «b» и разными первыми компонентами «a».

3. Не всюду определен, так как область определения не совпадает с областью отправления

4. Сюрьективен так как его область значений равна области прибытия.

5. Биективен, так как функционален, инъективен и сюрьективен.

6. Не рефлексивен так как график не содержит прямую в = а.