Vastaavuus

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 9. marraskuuta 2021 tarkistetusta versiosta . vahvistus vaatii 1 muokkauksen .

Vastaavuus
XNOR, EQ, XNOR
Venn kaavio
Määritelmä	$x=y$
totuustaulukko	$(1001)$
logiikka portti
normaaleja muotoja
Disjunktiivinen	$x\cdot y+\overline {x}\cdot \overline {y}$
sidekalvo	$(\overline {x}+y)\cdot (x+\overline {y})$
Zhegalkinin polynomi	$1\oplus x\oplus y$
Jäsenyys valmiilla luokilla
Säästää 0	Ei
Säästää 1	Joo
Yksitoikkoinen	Ei
lineaarinen	Joo
Itsenäinen kaksinkertainen	Ei

Looginen ekvivalenssi tai ekvivalenssi (tai ekvivalenssi [1] ) on looginen lauseke, joka on tosi, kun molemmat yksinkertaiset loogiset lausekkeet ovat yhtä tosia. Binäärinen looginen operaatio on yleensä merkitty symbolilla ≡ tai ↔.

Ekvivalenssi on lausekkeen lyhenne $A\iff B$ $(\neg A\land \neg B)\lor (A\land B)$

Seuraavan totuustaulukon perusteella:

$a$	$b$	$a\equiv b$
0	0	yksi
yksi	0	0
0	yksi	0
yksi	yksi	yksi

Siten lause A ≡ B tarkoittaa " A on sama kuin B ", " A vastaa B ", " A jos ja vain jos B ".

Älä sekoita ekvivalenssi - looginen operaatio lauseiden loogiseen ekvivalenssiin - binäärirelaatio . Niiden välinen yhteys on seuraava:

Loogiset lausekkeet ja ovat ekvivalentteja silloin ja vain, jos ekvivalentti on tosi kaikille loogisten muuttujien arvoille. $A$ $B$ $A\iff B$

Katso myös

XNOR-elementti on vastaavan fyysinen toteutus.

Muistiinpanot

↑ Logiikkaalgebra - artikkeli Great Soviet Encyclopediasta .

Kirjallisuus

Mendelsohn E. "Johdatus matemaattiseen logiikkaan". - M. Nauka, 1971.

Linkit

Informatiikan matemaattiset perusteet. Lehti syyskuun 1

Boolen operaatiot
Disjunktio (OR) Konjunktio (AND) Kieltäminen (EI) Yksinomainen "tai" (XOR) Pierce Arrow (NOR) Schaefferin aivohalvaus (NAND) Ekvivalenssi (XNOR) seuraamus Ehdollinen disjunktio (kolmiosainen)