summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-09-21 19:51:59 +0000
committerKarl Berry <karl@freefriends.org>2023-09-21 19:51:59 +0000
commitb9115f015529d6fde7571323c2d273c8b44b38a6 (patch)
tree24b144dcf8ffb7e8086a908d0d5c8a790e34094b /Master/texmf-dist/doc
parent8e0baaa04a27842980891d3d6451b89e5d1dfd08 (diff)
profsio (21sep23)
git-svn-id: svn://tug.org/texlive/trunk@68335 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc')
-rw-r--r--Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdfbin326425 -> 327111 bytes
-rw-r--r--Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex19
2 files changed, 13 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf
index f923177335b..ff622996515 100644
--- a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf
+++ b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex
index fa57ad3c86b..4e65b5c010a 100644
--- a/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex
+++ b/Master/texmf-dist/doc/latex/profsio/ProfSio-doc-fr.tex
@@ -5,8 +5,8 @@
\documentclass[french,a4paper,11pt]{article}
\usepackage[margin=2cm,includefoot]{geometry}
-\def\TPversion{0.1.5}
-\def\TPdate{13 septembre 2023}
+\def\TPversion{0.1.6}
+\def\TPdate{20 septembre 2023}
%\usepackage[utf8]{inputenc}
%\usepackage[T1]{fontenc}
\usepackage{amsmath,amssymb}
@@ -84,7 +84,7 @@
morekeywords={\MPMPlaceTache,\MPMPlaceNotice,\MPMPlaceDuree,GrapheMPM,TableKarnaugh,\KarnaughCasesResult,\KarnaughBlocRegroup,\MPMPlaceTaches,\MPMPlaceDurees,GrapheTikz,\GrphPlaceSommets,\GrphTraceAretes,\tikzset,\DiagrammeSagittal,\draw,\DiagrammeSagittalCompo,\TableVerite,\SimplificationKarnaugh},%
keywordstyle={\color{green!50!black}},%
classoffset=3,%
- morekeywords={CouleurDurees,CouleurFleches,LargeurCases,Epaisseur,Police,CouleurDates,CouleurBords,NoirBlanc,Grille,DecalHorizDeb,DecalVertDeb,DecalHorizFin,DecalVertFin,Coude,SensCoude,Unite,Variables,Swap,Aide,CouleurCases,Decalage,Couleur,Type,Legende,PosVarLaterale,CouleurLegende,CouleurSommets,TypeSommets,Unite,CouleurFT,DimensionSommets,PositionFleches,EchelleFleches,TypeFleche,Droit,Milieu,AngleGauche,AngleDroite,Boucle,GrphStyleArc,GrphStyleSommet,Poids,GrphStylepoids,DistElem,DistEns,LargEns,NomAppli,CouleurE,CouleurAppli,CouleurF,CouleursFleches,TypeFleche,Epaisseur,Labels,Ensembles,PosLabels,PoliceLabels,Offset,NomApplis,CouleursAppli,VF,LargeursColonnes,CouleurEnonce,CodeAvant,CodeApres,StyleAlternatif,PoliceTT,Espace,Couleurs},%
+ morekeywords={CouleurDurees,CouleurFleches,LargeurCases,Epaisseur,Police,CouleurDates,CouleurBords,NoirBlanc,Grille,DecalHorizDeb,DecalVertDeb,DecalHorizFin,DecalVertFin,Coude,SensCoude,Unite,Variables,Swap,Aide,CouleurCases,Decalage,Couleur,Type,Legende,PosVarLaterale,CouleurLegende,CouleurSommets,TypeSommets,Unite,CouleurFT,DimensionSommets,PositionFleches,EchelleFleches,TypeFleche,Droit,Milieu,AngleGauche,AngleDroite,Boucle,GrphStyleArc,GrphStyleSommet,Poids,GrphStylepoids,DistElem,DistEns,LargEns,NomAppli,CouleurE,CouleurAppli,CouleurF,CouleursFleches,TypeFleche,Epaisseur,Labels,Ensembles,PosLabels,PoliceLabels,Offset,NomApplis,CouleursAppli,VF,LargeursColonnes,CouleurEnonce,CodeAvant,CodeApres,StyleAlternatif,PoliceTT,Espace,Couleurs,Contraire},%
keywordstyle={\color{orange}}
},%
#1
@@ -255,6 +255,8 @@
\section{Historique}
+\verb|v0.1.6|~:~~~~Correction dans les simplifications de Karnaugh + Simplification du contraire
+
\verb|v0.1.5|~:~~~~Commande pour simplifier une table de Karnaugh à trois variables
\verb|v0.1.4|~:~~~~Possibilité de remplir une table de Karnaugh sans virgule
@@ -810,12 +812,12 @@ On obtient le tableau de Karnaugh suivant :
\pagebreak
-\section{Simplification d'une expression booléene par table de Karnaugh}
+\section{Simplification d'une expression booléenne par table de Karnaugh}
\subsection{Commande et fonctionnement global}
\begin{cautionblock}
-L'idée est de proposer une commande pour simplifier une expression booléenne à trois variables connaissant sa table de vérité :
+L'idée est de proposer une commande pour simplifier une expression booléenne (ou son contraire) à trois variables connaissant sa table de vérité :
\begin{itemize}
\item en utilisant une manière \textit{binaire} de déclarer la table de vérité ;
@@ -825,7 +827,7 @@ L'idée est de proposer une commande pour simplifier une expression booléenne Ã
\end{cautionblock}
\begin{importantblock}
-Je remercie mes étudiants de BTS SIO2 (promo 2023/2024) pour m'avoir aidé à simplifier les 256 (!) tables de Karnaugh possibles, en se répartissant le travail !
+Je remercie mes étudiants de BTS SIO2 (promo 2023/2024 : Léo, Ryad, Mathieu, Adrien, Clément) pour m'avoir aidé à simplifier les 256 (!) tables de Karnaugh possibles, en se répartissant le travail !
\smallskip
@@ -872,6 +874,9 @@ Les clés disponibles sont :
\hfill~défaut : \Cle{black/black/black}
\item \Cle{Variables} := variables utilisées ; \hfill~défaut : \Cle{a/b/c}
\item \Cle{Swap} := booléen pour échanger les variables du \textit{bas} ; \hfill~défaut : \Cle{false}
+ \item \Cle{Contraire} := booléen pour travailler sur le contraire de l'expression booléenne ;
+
+ \hfill~défault : \Cle{false}
\item \Cle{Espace} := booléen pour rajouter un petit espace (\textit{fine}) dans les produits ;
\hfill~défaut : \Cle{true}
@@ -901,6 +906,8 @@ La table de Karnaugh :
\KarnaughCasesResult*{11011111}
\end{TableKarnaugh}~
correspond à $E=\SimplificationKarnaugh[Swap]{11011111}$.
+
+Et $\overline{E}=\SimplificationKarnaugh[Swap,Contraire]{11011111}$.
\end{DemoCode}
\begin{DemoCode}