Минимизация заданного выражения

Заданное выражение выглядит следующим образом:

((A – F) \ (B \ A)) Ç (ù (E - B - E) Ç (ù (A Ç B))

Минимизация проводится с использованием восемнадцати законов. (см. литературы 2)

1) ((A – F) \ (B \ A)) =

((A \ F) È (F \ A) \ (B Ç ùA)) =

((A Ç ùF) È (F Ç A) Ç (ù (B Ç ùA))) =

(A Ç ùF) È (F Ç ùA) Ç (ùB È A) =

(A Ç ùF) Ç ùB =

A Ç ùF Ç ùB

2) (ù (E – B – E)) È (ù (A Ç B)) =

(ù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

A Ç ù F Ç ù B – так выглядит выражение после минимизации.

Задание № 2

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

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

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

«№операций» =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	=