Logical equality

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

High-confidence facts extracted from structured source data. Use them as anchors for further research.

0-preserving

no

1-preserving

yes

Affine

yes

Conjunctive

( x ¯ + y ) ⋅ ( x + y ¯ ) {\displaystyle ({\overline {x}}+y)\cdot (x+{\overline {y}})}

Definition

x = y {\displaystyle x=y}

Disjunctive

x ⋅ y + x ¯ ⋅ y ¯ {\displaystyle x\cdot y+{\overline {x}}\cdot {\overline {y}}}