Le document contient des expressions logiques associées à des vecteurs binaires. Il présente des formules pour des fonctions en fonction des variables a, b, c et d. Les informations sont données dans un format formel sans explications supplémentaires.

1. A B C D S
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 1
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
F(s)= c’·d+a·b’·c·d’+a·b’·c’·d’+a·b·c’·d’+b·c·d
AB
CD
0
0
0
1
1
1
1
0
00 1 1
01 1 1 1 1
10 1 1
11 1
F(s)= a·c’+c’·d+a·b’·d’+b·d