Wersja z 21:00, 12 sty 2009 edytuj Henryk Tannhäuser (dyskusja \| edycje) Redaktorzy 30 693 edycje m NOR przeniesiono do Binegacja: NOR to jest wyłącznie nazwa informatyczna; wszystkie te artykuły powinny byuć pocno przerobione, na razie tylko nazwa zgodna z pl. terminologią logiczną ← poprzednia edycja		Wersja z 21:02, 12 sty 2009 edytuj anuluj edycję Henryk Tannhäuser (dyskusja \| edycje) Redaktorzy 30 693 edycje Nie podano opisu zmian następna edycja →
Linia 1: '''~~NOR~~Binegacja''', '''niewspółzachodzenie''' (także '''funktor Pierce'a''', ~~binegacja~~'''NOR''') – jeden z funktorów zdaniowych rachunky 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). Jego znaczenie przedstawia poniższa [[Matryca logiczna\|tablica prawdy]]: {\| class="wikitable" style="text-align:center"

Binegacja: Różnice pomiędzy wersjami