Binegacja: Różnice pomiędzy wersjami

'''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ą]] (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 [[tablica prawdy]]:3=======================D