Bulea Aritmetiko

La Bulea Algebro havas tri bazajn aritmetikojn :

1. AND :
   • Multipliko por SOP Logikaj Funkcioj
   • \( F+G = !!(F+G) = !((!F)\cdot(!G)), \quad !x = NOT(x) \)
2. OR :
   • Aldono por SOP Logikaj Funkcioj
   • \( F = !!(F) = !((!F)) \)
   • Let \( F = F_1 + F_2 \), then \( !F = !(F_1 + F_2) = ((!F_1)\cdot(!F_2)) \)
3. NOT :
   • La komplemento aro por Logika Funkcio
   • \( !F = !(F_1 + F_2) = ((!F_1)\cdot(!F_2)), F = F_1 + F_2 \)

En la komputa Bulea Algebro, ĝi estas simbola komputado. Tial ni bezonas efikan kaj teorian pruvitan metodon por fari tion. En nia Komputila Bulea Algebro, ni ĉiam povas pruvi la ĝustecon de la komputadrezultoj.

Nia Komputila Bulea Algebro provizas rapidan komputadon por la operatoro NOT. Tial

1. OR : restis kiel resumo
2. NOT : prilaborita per rapida serĉa algoritmo.
3. AND : prilaborita per la komputado de 2 NOToj kaj 1 OR.

Testa Komputado-Rapideco De Operaciisto NOT

[ f ] = AndOr()
{
    1,-2,3,-4,-5,-6 ;
    -1,-2,3,4,-5,6 ;
    -1,2,3,-4,-5,6 ;
    1,-2,3,4,5,6 ;
    -1,-2,-3,4,-5,6 ;
    1,2,-3,4,5,6 ;
    1,2,-3,-4,-5,6 ;
    1,2,-3,-4,5,6 ;
    1,2,-3,4,5,6 ;
    -1,2,-3,-4,5,6 ;
}

[ g ] = Not(f);

Print("result:", g);

/*
La rezulto devus esti :
//--------------------------------------------------//
/// Time for executing 'Not' : 312ms
"result:";
g = AndOr()
{
  1,2,3;
  2,-3,-6;
  1,-2,-3;
  -1,-2,-4;
  -1,2,3,4;
  -1,-2,4,5;
  -1,2,3,-4,5;
  -1,2,-3,4,6;
  1,-2,3,4,-5;
  1,-2,3,-4,5;
  -1,-2,4,-5,-6;
  -1,2,3,-4,-5,-6;
  1,2,-3,4,-5,6;
  -1,2,-3,-4,-5,6;
  1,-2,3,4,5,-6;
  1,-2,3,-4,-5,6;
}
*/