Egyenértékűség

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2021. november 9-én felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .

Egyenértékűség
XNOR, EQ, XNOR
Venn-diagram
Meghatározás	$x=y$
igazságtáblázat	$(1001)$
logikai kapu
normál formák
Szétválasztó	$x\cdot y+\overline {x}\cdot \overline {y}$
kötőhártya	$(\overline {x}+y)\cdot (x+\overline {y})$
Zhegalkin polinom	$1\oplus x\oplus y$
Tagság az előre befejezett osztályokban
0-t takarít meg	Nem
Megment 1	Igen
Monoton	Nem
lineáris	Igen
Önkettős	Nem

A logikai ekvivalencia vagy ekvivalencia (vagy ekvivalencia [1] ) olyan logikai kifejezés, amely akkor igaz, ha mindkét egyszerű logikai kifejezés egyformán igaz. A bináris logikai műveletet általában ≡ vagy ↔ szimbólummal jelöljük.

Az ekvivalencia a kifejezés rövidítése $A\iff B$ $(\neg A\land \neg B)\lor (A\land B)$

A következő igazságtáblázat adja meg:

$a$	$b$	$a\equiv b$
0	0	egy
egy	0	0
0	egy	0
egy	egy	egy

Így az A ≡ B állítás azt jelenti, hogy " A azonos B -vel ", " A ekvivalens B -vel ", " A akkor és csak akkor, ha B ".

Ne keverje össze az ekvivalenciát – egy logikai műveletet az állítások logikai ekvivalenciájával – a bináris relációt . A köztük lévő kapcsolat a következő:

A és logikai kifejezések akkor és csak akkor ekvivalensek, ha az ekvivalens igaz a logikai változók összes értékére. $A$ $B$ $A\iff B$

Lásd még

Az XNOR elem az ekvivalens fizikai megvalósítása.

Jegyzetek

↑ Logikai algebra - cikk a Great Soviet Encyclopedia- ból .

Irodalom

Mendelsohn E. "Bevezetés a matematikai logikába". - M. Nauka, 1971.

Linkek

Az informatika matematikai alapjai. Magazin szeptember 1

Boole-műveletek
Disjunkció (VAGY) kötőszó (ÉS) Megtagadás (NEM) Exkluzív "vagy" (XOR) Pierce Arrow (NOR) Schaeffer stroke (NAND) Egyenértékűség (XNOR) következmény Feltételes diszjunkció (háromtagú)