🖼️ Galerie d'exemples
Cliquez sur Compiler en ligne pour générer le PDF directement dans la carte
1
Table de Karnaugh
2
Table de Karnaugh avec regroupement
3
Table de vérité d'une expression booléenne
Table de Karnaugh
Créer automatiquement une table de Karnaugh
% !TEX lualatex
\documentclass[border=5pt]{standalone}
\usepackage{ProfSio}
\begin{document}
\begin{TableKarnaugh}
\KarnaughCasesAuto*{(ab)+(a*b*)+(b*c)}
\end{TableKarnaugh}
\end{document}
Table de Karnaugh avec regroupement
Utiliser une table de Karnaugh
% !TEX lualatex
\documentclass[a5paper]{article}
\usepackage[margin=5mm]{geometry}
\usepackage{ProfSio}
\begin{document}
La table de Karnaugh :
\begin{TableKarnaugh}[Variables={g/n/b}]<baseline=(current bounding box.center)>
\KarnaughCasesResult*{01001111}
\end{TableKarnaugh}~
correspond à $E=\SimplificationKarnaugh[Variables={g/n/b}]{01001111}$
\end{document}
Table de vérité d'une expression booléenne
Construire une table de vérité
% !TEX lualatex
% lualatex obligatoire !
\documentclass[a5paper]{article}
\usepackage[margin=5mm,landscape]{geometry}
\usepackage{ProfSio}
\begin{document}
%Loi de De Morgan
\TableVerite%
[%
CouleurEnonce=lightgray!15,LargeursColonnes=0.75cm/2cm,%
CodeAvant={\columncolor{teal!10}{6}\columncolor{teal!10}{7}}%
]%
{P,Q}{$P$,$Q$}%
{lognot*P,lognot*Q,P*logand*Q,lognot*(P*logand*Q),(lognot*P)*logor*(lognot*Q)}%
{$\lnot P$,$\lnot Q$,$P\land Q$,$\lnot(P\land Q)$,$(\lnot P)\lor(\lnot Q)$}
\TableVerite%
[%
CouleurEnonce=lightgray!15,LargeursColonnes=0.75cm/2cm,VF={1/0},%
CodeAvant={\columncolor{orange!10}{6}\columncolor{orange!10}{7}}%
]%
{P,Q}{$P$,$Q$}%
{lognot*P,lognot*Q,P*logand*Q,lognot*(P*logand*Q),(lognot*P)*logor*(lognot*Q)}%
{$\lnot P$,$\lnot Q$,$P\land Q$,$\lnot(P\land Q)$,$(\lnot P)\lor(\lnot Q)$}
\end{document}