Archives pour: "15 Nov 2013"

Vers une automatisation du calcul des quines

par Le Grincheux  

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

par Le Grincheux  

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 »