Лекции.Орг


Поиск:




Категории:

Астрономия
Биология
География
Другие языки
Интернет
Информатика
История
Культура
Литература
Логика
Математика
Медицина
Механика
Охрана труда
Педагогика
Политика
Право
Психология
Религия
Риторика
Социология
Спорт
Строительство
Технология
Транспорт
Физика
Философия
Финансы
Химия
Экология
Экономика
Электроника

 

 

 

 


Класи Поста булевих ф-й. Теорема про повноту. Теорема Поста




Клас кон*юнкцій, що є замиканням множ. операцій . Клас диз*юнкцій що є замиканням множ. операцій . Клас U ф-й одної змінної, що містить тільки константи.

Теорема про повноту: Нехай задано дві системи булевих ф-й, при чому система функціонально повна і кожну її ф-ю можна виразити у вигляді формули через ф-ї системи. Тоді система також функціонально повна.

Теорема Поста: Для того щоб система була повною, необхідно і достатньо, щоб вона містила хоча б одну нелінійну ф-ю, немонотонну, ф-я яка не зберігатиме 0 та не зберігає 1.

 

37.Алгебраїчне задання булевих ф-й. ДДНФ.

Алгебраїчна форма задання булевих функцій — це форма подання логічної функції у вигляді поліному з коефіцієнтами виду 0 і 1

Досконалою диз’юнктивною нормальною формою (ДДНФ)називається формула що зображенна у вигляді диз’юнкції конституент 1 даної функції (містить у елемент кон’юнкції стільки змінних скільки їх містить сама функція).

38. Алгоритм переходу від табличного задання до алгебраїчного.

Мінтерми та макстерми використовуються для переходу від табличного подання функції до алгебраїчного. Щоб здійснити такий перехід і представити формулу у ДДНФ, кожному кортежу – набору змінних ставиться у відповідність мінтерм (конституента одиниці) – кон’юнкція всіх змінних, які входять у прямому вигляді, якщо значення заданої змінної в наборі дорівнює одиниці, або в інверсному вигляді, якщо воно дорівнює нулю.

 

39.Геометричне подання булевих ф-й від двох та трьох змінних. Позначимо через Е n безліч всіх наборів (α 1,..., α η), що складаються з чисел нуль і одиниця. Безліч Е n називається n-мірним кубом, а набір (α 1,..., α η) - вершинами куба. Нехай σ 1,..., σ r - фіксований набір чисел з 0 і 1. Безліч всіх вершин (α 1,..., α η) куба Е n таких, що α i 1 = σ 1, α i 2 = σ 2,..., Α ir = Σ r, 1 <i 1 <i 2 <... <i r, називається (n - r) - Мірної гранню. Очевидно, що (n - r)-мірна грань є (n - r) - подкубом куба Е n.

 

 

40. Застосування булевих ф-й до аналізу перемикальних схем. Булевою функцією f (x 1, x 2,..., xn) називається довільна функція n змінних, аргументи якої x 1, x 2,..., xn і сама функція f приймає значення 0 або 1, тобто xi {0, 1}, i = 1, 2,..., n; f (x 1, x 2,..., xn) {0, 1}.

Однією з найважливіших інтерпретацій теорії булевих функцій є теорія перемикальних функцій. Будь-яка булева функція може бути представлена таблицею, у лівій частині якої перераховані всі набори змінних а в правій частині – значення функції. Для формування стовпця значень змінних зручний лексико-графічний порядок, відповідно до якого кожен наступний набір значень виходить із попереднім додатком 1 у двійковій системі числення, Булевих функцій двох змінних – 16 (22 при n = 2). Ті з них, які мають спеціальні назви, x 1V x 2 диз’юнкція; x 1& x 2 кон’юнкція; x 1É x 2 імплікація; x 1~ x 2 еквівалентність;

 

41Функціональні відношення

Відображення назив. А сюр*активним, якщо (Якщо відобр. F сюр*єктивне то для хоча б один прообраз а з А.

Ін*активним (взаємно однозначним), якщо для тобто двом різним прообразам відповідають різні образи.

Бієктивне – це взаємно однозначне відобр. множ. А на множ. В. Якщо відображення f бієктивне, то для .

 

42 ДНФ для мулевих ф-й.
(диз*активною норм. формою назив. формула, що зображена у вигляді диз*юнкції елементарних кон*юнкцій.

43 ДДНФ для бул. ф-й та її власт.

ДДНФ(досконала диз*юктивна норм. форма) містить у елементарній кон*юнкції стільки змінних скільки їх має сама ф-я.

Власт.:

44 Мінімізаці булевих ф-й. Карти Карно.

Мінімізація бул.ф-й – це спрощення булевих виразів. Оскільки логічні ф-ї реалізуються за допомогою певного набору пристроїв, то спрощуючи вираз, зменшуємо к-сть елементів.

Карти Карно розглядається як перебудована відповідним чиом табл. істинності ф-ї.

 

 

 





Поделиться с друзьями:


Дата добавления: 2016-07-29; Мы поможем в написании ваших работ!; просмотров: 573 | Нарушение авторских прав


Поиск на сайте:

Лучшие изречения:

Бутерброд по-студенчески - кусок черного хлеба, а на него кусок белого. © Неизвестно
==> читать все изречения...

2437 - | 2356 -


© 2015-2024 lektsii.org - Контакты - Последнее добавление

Ген: 0.01 с.