„Bikondicionális” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Klasszikus igazságfeltételei: logikai kapuk |
|||
46. sor:
Ez az eredmény produkálható [[XNOR kapu]]val, tagadása [[XOR kapuval]].<ref>{{Cite web|url=http://www.cburch.com/logisim/docs/2.1.0/libs/gates/xor.html|title=XOR/XNOR/Odd Parity/Even Parity Gate|website=www.cburch.com|access-date=2019-10-22}}</ref>
==Jelölése==
Szokásos jelölése "↔", "<math>\Leftrightarrow</math>", "≡", néha "iff", különösen angol szövegekben. Mindezeket ekvivalensnek tekintik. Az elsőrendű logikában azonban megkülönböztetik a logikai képletekben használt ↔, és a logikai képletek közötti összefüggést jelölő ⇔ jelet. [[Jan Łukasiewicz|Łukasiewicz]] lengyelformájában jele 'E'.<ref>{{Cite web|url=https://plato.stanford.edu/entries/lukasiewicz/polish-notation.html|title=Jan Łukasiewicz > Łukasiewicz's Parenthesis-Free or Polish Notation (Stanford Encyclopedia of Philosophy)|website=plato.stanford.edu|access-date=2019-10-22}}</ref>
==Megkülönböztetése az "akkor"-tól, a "csak akkor"-tól==
| |||