☑ Arithmétique ☑ Logique ☑ Matrices ☑ Diagrammes
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
📄 booleen/karnaughsimple.tex
% !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
📄 booleen/karnaughsimplif.tex
% !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é
📄 booleen/tableverite.tex
% !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}
✓ Copié !