Binegacja: Różnice pomiędzy wersjami

'''Binegacja''', '''jednoczesne zaprzeczenie''' (także '''funktor Pierce'a''', '''NOR''') – jeden z funktorów zdaniowych rachunku zdań; 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]] "∨"; dwóch argumentów, co oznacza jej logiczną [[negacja|negację]]. Inne przedstawienie to ⊽ (U+22BD). Odpowiada wyrażeniu „ani ... ani”. Jego znaczenie przedstawia poniższa [[matryca logiczna|tablica prawdy]]:

{| class="wikitable" style="text-align:center"

!style="width:30px"| A