Ответы: Контрольная работа (2012)

Распознанный текст из изображения:

(1') ~р

Ф у'до

Х1 Х, 13- х

1 'Х1 3 ° (т'

ес'2 Ф.' -- Хг 4 ° (т.,:2' т г (1 1. С помощью расширенной системы оснозныхч~ищ6е~~~~'Ф.=-";.';

Г = ~Х~ Ч Х1Э~Х2 в' ХЗЭСХ1 Ч Х3Эе д' ' = Р3'КХфЮМЦф ~", ((ов(оосв(о снесено основннх тождеств тн:д~', тождеств вида 6

да Р при этом нельзя обойтись,;.:::-,:„::„"-'-;::::,'-:,",:,:,:-,:;;---,':.':::'.,":у'

Распознанный текст из изображения:

Группа 3 1У Вариант Я~М

Студент

Номер зачетной книжки р

Т = ~Ь:(Х1 оХ2) оХз =Х1 о(Х2 оХз)> оЕ(Й,Ч)); Т = ~Ь:Х1 оХ2 =Х2 оХ1, оЕ (ЙяЧ)~э

Т = 1 Ь:Х1 о Х1 — Х1, оЕ (ЙЧ)С~ Т 1 ~йн'Х1(Х2 Ч Хз) = Х1Х2 Ч Х1Хз);

м с м.= м.— — — м.

т =11~:х =х, т8,.'х х2 =х чх2, т~'.х чх2 =х х2с',

Т = 1 Йо а.' Х1(Х2Х2) = Х2Х2, С1 а. 'Х1(Х~ Ч Х~) = Х1, Сои. 'Х1 Ч Х2Х2 = Х1, Й1 и.'Х1 Ч (Х2 Ч Х2) = Х2 Ч Х2~.

пк с пк. — — пк. — пк, — пк.

~- 1. Для однократного эквивалентного преобразования формул

С

хз (х~ Ч (х1х2) (х1Х2)) + хзх4

указать используемое основное тождество и подчеркнуть ту подформулу, к которой оно применяется: 1= ~ ": Х~ ~'~ ~', =,х,

+ 2. В наборе (т~, тк, ТД, ~т, топ, тпк) подчеркнуть те входящие в него группы основных тождеств, объединение которых дает минимальную по включению (среди всех таких объединений) систему тождеств, позволяющую выполнить ЭП произвольной формулы в формулу с поднятыми отрицаниями.

+- 3. Для ДНФ хфх5 Чх1 Чх2 Чхб Чхзх~ Чхзх~ Чхзхб выписать (с расстановкой всех скобок) подобную ей формулу минимальной глубины (минимапьность, по возможности, обосновать).

+- 4. Промоделировать л-схемой формулу ((х, чх, чх,)(х, ~/х,)чх,х,х,)(х,х, нх,).

Распознанный текст из изображения:

Группа 5 уу Вариант а 15

Студент

Номер зачетной книжки „~ ~Щ 3 1

Индуктивное определение формулы-слова в базисе 1х, ~» к„х, — х„х,1 и реализуемой ею ФАЛ, построение дерева и квазидерева, соответствующего данной формуле. Утверждение о соотношениях между сложностью, рангом и глубиной формул в стандартном базисе.

Определение эквивалентных КС. Утверждение о верхней оценке числа попарно неэквивалентных

(.- 1,1)-КС от БП х,,...,х„имеющих сложность не больше, чем Х, и аналогичная оценка для КС, состоящих из замыкающих контактов.

Определение подобных формул, формул с поднятыми отрицаниями и их альтернирования. Утверждение об оптимизации подобных формул по глубине, идея его доказательства.

Тождества ветвления и снятия, приведение с их помощью СФЭ к системе формул. Утверждение о моделировании ЭП формул в классе СФЭ, идея его доказательства.

Обобщенные тождества для КС (привести обобщенные варианты основных тождеств). Утверждение о выводе обобщенных тождеств из основных.

Х»

у хааа,аф.: ~~ т, ~( ~~, аа ~~на' ~аЮ~ та ~~ ~ уи ~' т~ — р~~а.~~~ аа

тиа~-ар йа/ Яха., т.), Юю уа ~ ~ у7

Г х„..., иа» = та~~,,,х.~. ,т „а ~,„аф,. ~™,К,Г, у~' г

l К ° ~~~р ' лу,»' »~ .~-4~-~ ~лу~а ~

4Ч ~,-~ ~~~ р'у ~

Файл скачан с сайта StudIzba.com

При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник