Logický ani
Logický ani (ne nebo) je booleovská logika operátor, který produkuje výsledek, který je nepřímá úměrnost logický nebo. To je, p ani q je jen pravdivý když p nebo q být nepravdivý, a je falešný jinak.Ani má zajímavou vlastnost že všichni jiní logičtí operátoři mohou být vyjadřováni různými funkcemi ani.
- “ne p” je ekvivalent k”p ani p”
- #rquotep a q” je ekvivalent k “(p ani p) ani (q ani q)”
- #rquotep nebo q” je ekvivalent k “(p ani q) ani (p ani q)”
- #rquotep implikuje q” je ekvivalent k “((p ani q) ani q) ani ((p ani q) ani q)”
Viz též: