Стрілка Пірса

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Стрі́лка Пі́рса також відома як оператор NOR (англ. logical nor, joint denial)  — була введена Чарлзом Сандерсом Пірсом (Charles Sanders Peirce) у 1880—1881 р.р.. Математики Ч. Пірс та Д. Вебб, які незалежно один від одного вивчали властивості цієї функції, створили алгебру, названу алгеброю Пірса-Вебба. Для її позначення використовують символ . Це двомісна логічна операція, яка є запереченням диз'юнкції; тому значення «істинно» одержується тільки тоді, коли обидва операнди мають значення «хибно». За допомогою стрілки Пірса (операції NOR) можна виразити будь-яку двомісну логічну операцію. Таким чином «стрілка Пірса» може бути використана сама по собі, без будь-яких інших логічних функцій, в складі логічної формальної системи (що робить цю функцію функціонально повною).

Комп'ютер, який був використаний для космічного корабля, котрий вперше доправив людину на Місяць, Аполлон, був побудований повністю за допомогою мікросхем, кожна з яких об'єднувала два трьохвхідних виключних або (NOR).

Визначення[ред.ред. код]

Стрілка Пірса — це двомісна логічна операція, яка є запереченням диз'юнкції; тому значення «істинно» одержується тільки тоді, коли обидва операнди мають значення «хибно». Іншими словами, функція приймає хибне значення, якщо хоча б один із аргументів істинний.

Діаграма Венна для операції

Таблиця істинності[ред.ред. код]

Таблиця істинності виглядає таким чином:

0 0 1
0 1 0
1 0 0
1 1 0

Властивості[ред.ред. код]

  • тотожності:

Функціональна повнота[ред.ред. код]

Стрілка Пірса є функціонально повною операцією, тобто, усі інші булеві функції можна подати, застосовуючи лише суперпозицію однієї цієї операції.


Доведення[ред.ред. код]

Запишемо таблицю істинності для функції стрілки Пірса:

0 0 1
0 1 0
1 0 0
1 1 0

З таблиці видно, що функція не зберігає 0 (на нульовому кортежі функція дорівнює 1) і не зберігає 1 (на одиничному кортежі функція дорівнює 0), тобто функція, «стрілка Пірса», не належить класам функцій які зберігають 0 та 1.

Також з таблиці видно, що функція не монотонна. Це пов'язано з тим, що на кортежах і , які знаходяться у відношенні передування, не виконується рівність . Тобто функція не належить класу монотонних функцій.

Для визначення належності до класу самодвоїстих функцій побудуємо таблицю істинності для двоїстої функції до стрілки Пірса.

0 0 1 1
0 1 0 1
1 0 0 1
1 1 0 0

Через те, що значення функції «стрілка Пірса» та двоїстої до неї не збігаються на однакових кортежах, то ця функція не належить класу самодвоїстих функцій.

Для перевірки лінійності функції побудуємо її канонічний поліном Жегалкіна із використанням властивостей: та .

Отриманий канонічний поліном містить нелінійні члени (). Отже, функція стрілка Пірса не є лінійною.

Через те, що функція «стрілка Пірса» не належить класу функцій що зберігають 0, не належить класу функцій що зберігають 1, не належить класу монотонних функцій, не належить класу самодвоїстих функцій і не належить класу лінійних функцій то вона задовольняє теоремі Поста, а значить вона є функціонально повною.

Введення еквівалентності[ред.ред. код]

Стрілка Пірса має цікаву особливість, а саме — всі інші логічні функції можуть бути виражені через її суперпозиції. Таку ж властивість має і штрих Шефера.

Стрілка Пірса є заперечення диз'юнкції:

        
Venn1000.svg          Venn0111.svg

Вираження через стрілку Пірса інших логічних функцій:

        
Venn01.svg          Venn10.svg
   
        
Venn1011.svg          Venn0100.svg Venn0100.svg
 
        
Venn0001.svg          Venn1010.svg Venn1100.svg
   
        
Venn0111.svg          Venn1000.svg Venn1000.svg

Мінімізація функцій в базисі стрілки Пірса[ред.ред. код]

Функція «стрілка Пірса», як відмічено з попередніх пунктів, має функціональну повноту. Нагадаємо, що зв'язок цієї функцій з операціями диз'юнкції і кон'юнкції достатньо простий:

.

Узагальнюючи для n змінних, будемо мати:

Дані співвідношення дають змогу звести задачу мінімізації логічних функцій в вищезгаданих базисах до задачі мінімізації ДНФ та КНФ. Дійсно, для випадку функції «стрілка Пірса» можна показати, що справедливе таке твердження.

Для того щоб перейти від КНФ функції до виразу, що є функцією за допомогою операції стрілка Пірса, достатньо замінити в КНФ всі операції кон'юнкції та диз'юнкції стрілкою Пірса, залишаючи дужки та заперечення на своїх місцях.

Отже, КНФ функції можна подати в такому вигляді:

де — елементарні диз'юнкції:

Використовуючи наведені співвідношення будемо мати :

Твердження доведено. Таким чином, мінімізацію функції можна відтворити в базисі І, АБО, НЕ, а потім перейти до стрілки Пірса. Операція заперечення реалізується за допомогою стрілки Пірса:

.

Оскільки функція стрілка Пірса не підпорядковується закону асоціативності, то це треба враховувати при переході від багатомісних операцій до двомісних. Такий перехід можна зробити за допомогою таких співвідношень:

,

справедливість яких легко перевіряється.

Приклад[ред.ред. код]

Розглянемо функцію, яка має таку мінімальну КНФ (одна з можливих):

.

Переходимо до операції «стрілка Пірса»:

.

Перехід до двомісних операцій дає можливість обрати кінцевий вираз:

.

Схеми[ред.ред. код]

Говорячи простою мовою, вентиль NOR, це АБО з підключеним до нього інвертором. Для наочності, нижче наведений приклад логіки NOR з вимикачами. Як відомо логіка АБО близька до виразу «Або A, Або B, Або те й інше», щоб отримати логіку NOR, результат АБО необхідно інвертувати, щоб отримати «Не A, і не B». На схемі нижче це має такий вигляд: Сірим відзначені вимикачі в стані «вимкнено», синім в стані «ввімкнено». На першій зліва схемі, обидва вимикачі знаходяться в положенні «вимкнено», таким чином, слідуючи вислову на виході отримуємо логічний 0. Інвертований результат буде дорівнює 1, і тим самим логічно задовольняти висловом «Не А, Не B». Наступні схеми демонструють відповідно «АБО А», «АБО B», «І А, І B» з наступною інверсією результату.

Наглядные схемы ИЛИ-НЕ на выключателях(нажмите для просмотра)

Нижче представлені варіанти реалізації вентиля NOR за допомогою діод-транзисторної логіки, і за допомогою МОН відповідно.

Схеми
Dtl
Mopnand.png


Представлена ​​схема на МОП виконана на однотипних МОП-транзисторах однак існує варіант схеми NOR на доповнюючих МОП-тразісторах. Таку схему отримують шляхом послідовного з'єднання однотипних транзисторів і паралельного з'єднання групи транзисторів іншого типу.

Див. також[ред.ред. код]