Заедничка негација - Википедија

# Заедничка негација

### Од Википедија, слободна енциклопедија

NOR (НИЛИ) логичка порта

Логичко нили или заедничка негација е оператор во булевата логика кој дава резултат спротивен од логичкото или. Т.е. (не или), p НИЛИ q е точно само кога и p и q се неточни.

Овој оператор се нарекува и Вебова опеарација или Пирсова стрелка, именувана по Чарл Пирс кој покажал дека секоја логичка операција може да се изрази по пат на НИЛИ. Така, како и НЕИ операторот, НИЛИ може да се користи сам, без било кој друг логички оператор, за да сочини логички формален систем (така НИЛИ е функционално потполен). Познат е и како Квинов бодеж.

## [уреди] Дефиниција

НИЛИ операцијата е логичка операција на две логички вредности, особено вредностите на две тврдења кое дава вредност точно ако и само ако двата операнди се неточни. Со други зборови, дава вредност неточно ако и само ако најмалку еден операнд е точен.

### [уреди] Таблица на точност

Таблицата на точност на p НИЛИ q (се пишува и како p ⊥ q или p ↓ q) е следнава:

p | q | ↓
--- | --- | ---
T | T |
T |  |
F | T |
|  | T

### [уреди] Венов дијаграм

Венов дијаграм за „Ниту A ниту B“

Еден начин да се изрази p НИЛИ q е , каде знакот означува ИЛИ,а линијата над изразот означува негова негација. Најпросто . Друг начин на изразување на p НИЛИ q е .

## [уреди] Својства

НИЛИ нема ниеден од петте својства, од кои секое од нив треба да го нема барем во ењден член на множество на функционално потполни оператори. (запазување на точност, запазување на неточност, линеарност, монотолност, самодвојност). Затоа НИЛИ само по себе е доволно за цело множество.

## [уреди] Заедничка негација

НИЛИ ја има интересната карактеристика што сите други логички оператори можат да се изразат по пат на разни функции на НИЛИ.

"не p" е еквивалентно на "p НИЛИ p" |
"p и q" е еквивалентно на "(p НИЛИ p) НИЛИ (q НИЛИ q)" |
"p or q" е еквивалентно на "(p НИЛИ q) НИЛИ (p НИЛИ q)" |
"p имплицира q" е еквивалентно на "((p НИЛИ q) НИЛИ q) НИЛИ ((p NOR q) НИЛИ q)" |

Логичкиот оператор НЕИ исто така може да ги изрази сите логички операции.

## [уреди] Видете исто така

- Амфек
- Битов NOR
- Булева алгебра
- Булев домен
- Булева функција

- Функционална потполност
- NOR порта
- Исказна логика
- Единствен доволен оператор
- Логика од нулти ред

в • р • у
Логички оператори

Тавтологија • Контрадикција • Негација • Конјункција • Дисјункција • Материјална импликација • Материјална бикондиционала • Исклучителна дисјункција • Заедничка негација • Алтернативна негација • Материјална неимпликација • Спротивна неимпликација • Спротивна импликација

Преземено од "http://mk.wikipedia.org../../../%D0%B7/%D0%B0/%D0%B5/%D0%97%D0%B0%D0%B5%D0%B4%D0%BD%D0%B8%D1%87%D0%BA%D0%B0_%D0%BD%D0%B5%D0%B3%D0%B0%D1%86%D0%B8%D1%98%D0%B0.html"

Категории: Логика | Булева алгебра | Бинарни операции

##### Views

- Статија
- Разговор
- Тековна верзија

##### Пребарај

##### Други јазици

- Deutsch
- English
- Español
- Français
- 한국어
- Italiano
- עברית
- Nederlands
- 日本語
- ‪Norsk (bokmål)‬
- Polski
- Português
- Русский
- Suomi
- Türkçe