„Boole-algebra (informatika)” változatai közötti eltérés

::<math> A \Rightarrow B = \neg A \vee B</math>

 

olyan kétváltozós logikai művelet, amely az ''A, B'' állításokhoz az "''A'' akkor és csak akkor, ha B" állítást rendeli hozzá. A művelet eredménye abban az esetben igaz, amikor A állítás és B állítás is igaz, vagy amikor sem az A sem a B állítás nem igaz. A feltétel tehát a két logikai érték egyezése.

:Az ekvivalencia jele: <math> A \Leftrightarrow B </math>