Algotaf cartographie mentale |
Disjonction en logique
Une assertion disjonctive est de la forme![Rendered by QuickLaTeX.com P](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-6aaa37679a070fc83d79a8a684d8118a_l3.png)
![Rendered by QuickLaTeX.com Q](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-c29ff8da53c59e6abbab7fc92f657d3b_l3.png)
![Rendered by QuickLaTeX.com \begin{vmatrix} P \\ Q \\ \end{vmatrix}](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-3854b0724730e760c7dbb62dfc1e34be_l3.png)
![Rendered by QuickLaTeX.com P](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-6aaa37679a070fc83d79a8a684d8118a_l3.png)
![Rendered by QuickLaTeX.com Q](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-c29ff8da53c59e6abbab7fc92f657d3b_l3.png)
![Rendered by QuickLaTeX.com P{\parallel}Q](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-1e57bb90264c4fdf625da3aabb0b04b4_l3.png)
![Rendered by QuickLaTeX.com P](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-6aaa37679a070fc83d79a8a684d8118a_l3.png)
![Rendered by QuickLaTeX.com Q](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-c29ff8da53c59e6abbab7fc92f657d3b_l3.png)
![Rendered by QuickLaTeX.com m<0](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-eae2674fb97c02ac3ae3b06902e694e0_l3.png)
![Rendered by QuickLaTeX.com m \geqslant 13](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-8cbf34b4e5bb4daf4bc1657317b5065f_l3.png)
![Rendered by QuickLaTeX.com m<0](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-eae2674fb97c02ac3ae3b06902e694e0_l3.png)
![Rendered by QuickLaTeX.com m \geqslant 13](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-8cbf34b4e5bb4daf4bc1657317b5065f_l3.png)
Conjonction et table de vérité
Le calcul de la valeur de![Rendered by QuickLaTeX.com P(a,b) = a{\centerdot}b](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-1f44431d77d47b0c170690fbc8bd93a5_l3.png)
![Rendered by QuickLaTeX.com \begin{tabular}{|c|c||c|} \hline a & b & P\text{\scshape v}Q \\ \hline \hline 0 & 0 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 1 \\ \hline \end{tabular}](https://algotaf.dhenin.fr/wp-content/ql-cache/quicklatex.com-525c804aa1291b5ea5c8171cb0f5d79e_l3.png)
Ceci conduit à poser les règles suivantes :
Disjonction en algèbre binaire
Il faut choisir un symbolisme simple qui puisse traduire dans l’expression écrite, la dualité qui caractérise les ensembles binaires et qui permette, en utilisant, si possible, les deux dimensions du plan, l’établissement de relations duales élémentaires. Nous savons aussi, par dualité, qu’il est possible de faire correspondre au produit la fonction algébrique binaire :