Binegacja: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
literówka: funcja zamiast funkcja |
m Sposoby zapisu binegacji (symbole), drobne redakcyjne, linki wew. |
||
Linia 1:
'''Binegacja''', '''jednoczesne zaprzeczenie''' (także '''funktor [[Charles Sanders Peirce|Peirce'a]]''', '''strzałka Peirce'a''', '''NOR''') – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa [[funkcja boolowska]] (funktor logiczny) realizująca zaprzeczoną [[alternatywa|sumę logiczną]] ([[Negacja|NOT]] [[Alternatywa|OR]]) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki są fałszywe
[[Plik:NOR ANSI.svg|thumb|250px|Symbol bramki logicznej NOR]]
Linia 16:
| 1 || 1 || 0
|}
== Sposoby zapisu binegacji ==
* <math> A \downarrow B </math> – przedstawiana za pomocą symbolu ↓ (pionowa kreska "|" przechodząca przez symbol [[alternatywa|alternatywy]] "∨" dwóch argumentów, co oznacza jej logiczną [[negacja|negację]])
* ''A'' NOR ''B''
* ''A'' ⊽ ''B'' – z użyciem symbolu ⊽ (U+22BD)
* <math>\overline{A \lor B}</math> – gdzie symbol <math>\or</math> oznacza [[Alternatywa|alternatywę (OR)]] natomiast kreska negację wyrażenia znajdującego się pod nią
* <math>\neg(A \lor B)</math> – jak wyżej z użyciem symbolu negacji ¬
* <math>\overline{A + B}</math> – zanegowana suma logiczna
== Wyrażanie funkcji boolowskiej w logice NOR ==
| |||