Table de vérité :
| x | y | S | Mintermes | |||||
|---|---|---|---|---|---|---|---|---|
| A | B | C | A⊕B | _ C |
_ (A⊕B)+C |
_____ x ⊕C |
x . y | |
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | |
| 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | |
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | _ A.B.C |
| 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | |
| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | _ A.B.C |
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
_ _
Donc F(A,B,C) = A.B.C + A.B.C = C . ( A ⊕ B)