Archives pour: "15 Nov 2013"
Vers une automatisation du calcul des quines
L'automate doit comporter une bascule de plus. De huit variables, les tables de vérités passent à neuf, soit cinq cent douze états pour huit variables de sorties. Cela commence à faire beaucoup lorsqu'on le fait à la main. J'ai trouvé un outil en mode t… suite »
Simplification des quines
J2=( Q1'. Q0'. I'. PHT ) + ( Q1'. Q0'. I'. PBT ) + ( Q0 . I . PBT'. C15 ) + ( Q1 . I . PBT') + ( Q1 . Q0 . PBT') + ( Q1 . Q0 . C15 )
Q1'. Q0'. I'.(PHT+PBT)+( Q0 . I . PBT'. C15 )+Q1 .PBT'.(I+Q0)+( Q1 . Q0 . C15 )
Q1'. Q0'. I'.(PHT+PBT)+Q0 . C15.(Q1+I .… suite »