Aller au contenu

Approfondissements de lycée/SP Logique

Un livre de Wikilivres.

Logique

Ensemble d'exercices de problèmes de logique

[modifier | modifier le wikicode]

1.

Donc, les énoncés sont les mêmes


2.

3.

a.
x2 = 9 veut dire que x peut être 3
32 - 6*3 - 3 = 0 est faux
Donc, la phrase est fausse
b.
Pour que cette équation soit fausse, nous devons avoir un x tel que x2=9 et x2 - 6x - 3 = 0 soient tous les deux faux.
Les valeurs de x pour lesquelles x2=9 est vraie sont x = 3 et x = - 3
Les valeurs de x pour lesquelles x2 - 6x - 3 = 0 est vraie sont
Puisque aucune des valeurs de x sont les mêmes, il n'existe pas de nombre pour lequel l'énoncé est vrai.

4. (Cette solution est due à Tom Lam). Soit (x+y)w+z = a NAND b , où a et b peuvent être soit un des x,y,w,z ou un autre opérateur NAND.

Par conséquent et , les deux ont besoin de plus d'opérateurs NAND. Soit a = c NAND d , et soit b = e NAND f.

Par conséquent d=w, e=f=z,c=x+y. Soit c = g NAND h.

Maintenant g=x' et h=y', nous avons besoins d'encore plus d'opérateurs NAND. Soit g = i NAND j et soit h = k NAND l.

Par conséquent i=j=x et k=l=y.

Maintenant, substituons toutes les variables, vous devriez obtenir : (x+y)w+z={[(x NAND x) NAND (y NAND y)] NAND w} NAND (z NAND z)


D'une manière différente Chacun des ET, OU et NON peut être exprimé en termes de NAND. Et par conséquent toute expression booléenne peut être écrite entièrement avec l'opérateur NAND. Cette propriété est appelée l'universalité de NAND. Rappelez-vous que x NAND y = (xy)'

D'abord,

NOT x = x' = x'x' = (xx)' = x NAND x

donc,

x OR y = x + y = (x'y')' = (x NAND x) NAND (y NAND y)

et

x AND y = xy = (xy)' ' = (x NAND y) NAND (x NAND y)

Maintenant

(x + y)w = ((x NAND x) NAND (y NAND y)) NAND w

et donc

(x + y)w + z = ((((x NAND x) NAND (y NAND y)) NAND w) NAND (((x NAND x) NAND (y NAND y)) NAND w)) NAND (z NAND z)