Versionen fra 20. nov. 2022, 13:26 redigér Glenn (diskussion \| bidrag) Administratorer 128.773 edits m wiki ← Gå til forrige forskel		Versionen fra 20. nov. 2022, 13:32 redigér fjern redigering Glenn (diskussion \| bidrag) Administratorer 128.773 edits m →‎Definition: kildesupplér Gå til næste forskel →
Linje 29: Biimplikation er [[Transitiv (matematik)\|transitiv]]. Dvs hvis ''P'' <math>\Leftrightarrow</math> ''Q'' og ''Q'' <math>\Leftrightarrow</math> ''W'' gælder ''P'' <math>\Leftrightarrow</math> ''W''. Sandhedstabellen for ''P'' <math>\Leftrightarrow</math> ''Q'' er ækvivalent med det som produceres af en [[XNOR-gate]] (NOT af en [[XOR-gate]]) - og det modsatte af hvad der produceres af en [[XOR-gate]].<ref>{{Cite web\|url=http://www.cburch.com/logisim/docs/2.1.0/libs/gates/xor.html \|archive-url=https://web.archive.org/web/20220407061623/http://www.cburch.com/logisim/docs/2.1.0/libs/gates/xor.html \|archive-date=2022-04-07\|title=XOR/XNOR/Odd Parity/Even Parity Gate\|website=www.cburch.com\|access-date=2019-10-22}}</ref> == Biimplikation i matematik ==

Biimplikation: Forskelle mellem versioner