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