Binegacja: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m Zastępowanie przestarzałej składni LaTeX zgodnie z mw:Extension:Math/Roadmap |
m drobne merytoryczne |
||
Linia 1:
'''Bramka NOR''' – jeden z funktorów zdaniowych [[rachunek zdań|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. Odpowiada wyrażeniu „ani …
[[Plik:NOR ANSI.svg|thumb|250px|Symbol bramki logicznej NOR]]
|