Cosa significa ⊽
Afferma che nessuna delle due proposizioni è vera. Nella logica proposizionale, ⊽ indica la negazione congiunta: A ⊽ B è vera se e solo se sia A sia B sono falsi. La forma combina il connettivo OR con un tratto di negazione soprastante.
Nella logica booleana a due valori e nei circuiti digitali, NOR è un operatore universale: qualsiasi funzione booleana può essere espressa unicamente tramite NOR. Charles Sanders Peirce lo dimostrò in un manoscritto inedito del 1880 ed Henry Sheffer formulò la riduzione logica per il NAND nel 1913.
Notazione formale di logica matematica.
Indica che entrambe le parti sono false, non un normale OR.
Fa parte della raccolta
Non confonderlo con
1Come digitare o trovare ⊽
- Chiamato anche
- negazione congiunta · freccia di Peirce · pugnale di Quine
- Cercalo come
- operatore NOR · disgiunzione negata
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
⊽\22BD\nor e premi spazio.Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.




