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 … ani”ani …”. Jego znaczenie przedstawia poniższa [[tablica prawdy]]:
 
[[Plik:NOR ANSI.svg|thumb|250px|Symbol bramki logicznej NOR]]