|
</math>
==Ensemble de problèmes==
==Problem Set==
1. DecideDécider whethersi the followingles propositions aresuivantes sont équivalentes equivalent:
:<math>x'\Rightarrow y'</math>
:<math>y\Rightarrow x</math>
2. Exprimer sous la forme la plus simple "somme de produits" la proposition suivante :
2. Express in simplest sum-of-product form the following proposition:
:<math>(x \Leftrightarrow y) \Rightarrow z</math>
3. Traduire les phrases suivantes sous forme symbolique et décider si elles sont vraies :
3. Translate the following sentences into symbolic form and decide if it's true:
:a. ForPour alltous les ''x'', ifsi ''x''<sup>2</sup> = 9 thenalors ''x''<sup>2</sup> - 6''x'' - 3 = 0
:b. WeNous canpouvons findtrouver aun ''x'', suchtel thatque ''x''<sup>2</sup> = 9 andet ''x''<sup>2</sup> - 6''x'' - 3 = 0 aresont bothtoutes trueles deux vraies.
4. NAND isest aune binaryopération binaire operation:
:x NAND y = (xy)'
FindTrouver aune proposition thatqui consistsest ofconstituée onlyseulement NANDd'opérateurs operatorsNAND, equivalentéquivalente à to:
:(x + y)w + z
5. DoFaites thede samemême withavec NORles operatorsopérateurs NOR. RecallRappelez-vous thatque x NOR y = (x + y)'
| 