Binegacja: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
sprzątanie tabelki, WP:SK
przedstawienie NOR jako u+22BD
Linia 1:
'''NOR''' (funktor Pierce'a, binegacja) – dwuargumentowa [[funkcja boolowska]] (funktor logiczny) realizująca zaprzeczoną [[alternatywa|sumę logiczną]] (NOT OR) - jest prawdziwa wtedy i tylko wtedy, gdy oba składniki są fałszywe. Często przedstawiana pionowa kreska "|" przechodząca przez symbol [[Alternatywa|alternatywy]] "v"; dwóch argumentów, co oznacza jej logiczną [[negacja|negację]]. Inne przedstawienie to ⊽ (U+22BD). Jego znaczenie przedstawia poniższa [[Matryca logiczna|tablica prawdy]]:
 
{| class="wikitable" style="text-align:center"
Linia 61:
[[fi:Peircen nuoli]]
[[th:NOR (ตรรกศาสตร์)]]
[[tr:VEYADEĞİL kapısı]]c