Изменения

|<tex>x \cdot y,\ xy,\ x {\And} y,\ x \ AND\ y,\ AND(x, y),\ min(x, y),</tex> ''x И y, И(x, y)''

!bgcolor=#EEEEFF|''x'' <tex>x \nrightarrowy</tex> ''y'' |''<tex>x'' > ''y'', <math>\ \neg</math>(''x'' → ''\rightarrow y''), ''\ x'' \ GT ''\ y'', \ GT(''x'',''\ y'')</tex>

!bgcolor=#EEEEFF|''<tex>x''</tex> |ДА1<tex>YES1(''x'',''y''), YES1(</tex> ''ДА1(x'',''y)'')

!bgcolor=#EEEEFF|''x'' <tex>x \nleftarrowy</tex> ''y'' |''<tex>x'' < ''y'', <math>\ \neg</math>(''x'' ← ''\leftarrow y''), ''\ x'' \ LT ''\ y'', \ LT(''x'',''y'')</tex> |меньше, инверсия обратной импликации]

!bgcolor=#EEEEFF|''<tex>y''</tex> |ДА2<tex>YES2(''x'',''y''), YES2(</tex> ''ДА2(x'',''y)'')

!bgcolor=#EEEEFF|''<tex>x'' ⊕ ''\oplus y''</tex> |''<tex>x'' +₂ ''_2 y'', ''\ x'' ≠ ''\not = y'', ''\ x'' >< ''y'', ''\ x'' <> ''y'', ''\ x'' \ XOR ''\ y'', \ XOR(''x'',''y'')</tex> |сложение по модулю 2, не равно, ксор, исключающее «или»

!bgcolor=#EEEEFF|''<tex>x'' ∨ ''\vee y''</tex> |''<tex>x'' + ''y'', ''\ x'' ИЛИ ''\ OR\ y'', ИЛИ\ OR(''x'',''y''), ''\ max(x'' OR '',y''), OR(</tex> ''x'',''ИЛИ y''), maxИЛИ(''x'',''y)'')

!bgcolor=#EEEEFF|''<tex>x'' ↓ ''\downarrow y'' </tex> |''<tex>x'' ИЛИ-НЕ ''\ NOR\ y'', ИЛИ-НЕ\ NOR(''x'',''y''), </tex> ''x'' NOR ''ИЛИ-НЕ y'', NORИЛИ-НЕ(''x'',''y)'')

!bgcolor=#EEEEFF|''<tex>x'' = ''y''</tex> |''<tex>x'' ≡ ''\equiv y'', ''x'' EQV ''y'', EQV(''x'',''y''), ''x'' ~ ''\sim y'', ''x'' ↔ ''\leftrightarrow y''</tex>

!bgcolor=#EEEEFF|''y̅''<tex>\bar{y}</tex> |НЕ2<tex>NOT2(''x'',''y''), NOT2(''x'\ y',''\ \neg y''), </tex> ''y'''НЕ2(x, ¬''y)''

!bgcolor=#EEEEFF|''<tex>x'' ← ''\leftarrow y''</tex> |''<tex>x'' ≥ ''\geq y'', ''\ x'' ⊂ ''\subset y'', ''\ x'' \ GE ''\ y'', \ GE(''x'',''y'')</tex> |больше или равно, обратная импликация (от второго аргумента к первому)

!bgcolor=#EEEEFF|''x̅''<tex>\bar{x}</tex> |НЕ1<tex>NOT1(''x'',''y''), NOT1(''\ x'',''y'')\ \neg x, </tex> ''НЕ1(x''', ¬''xy)''

!bgcolor=#EEEEFF|''<tex>x'' → ''\rightarrow y''</tex> |''<tex>x'' ≤ ''\leq y'', ''\ x'' ⊃ ''\supset y'', ''\ x'' \ LE ''\ y'', \ LE(''x'',''y'')</tex>

!bgcolor=#EEEEFF|''<tex>x'' &nabla; ''\triangledown y''</tex> |''x'' <nowikitex>|</nowiki> ''x \mid y'', ''\ x'' \ NAND ''\ y'', \ NAND(''x'',''y''), </tex> ''x'' И-НЕ ''y'', И-НЕ(''x'',''y)'')

!bgcolor=#EEEEFF|<tex>1</tex>