1lytics

Refactorización del código fuente

Si usted el programador, el software Gorgeous Karnaugh le ayuda Agilizar su código existente y hacer las condiciones lógicas en condicional Los operadores y los operadores del ciclo es más fácil y es más claro.

Cada programa, no es dependiente de aquel, que lengua de la programación usáis, Contiene las partes, que deben se cumplirán depende de unas u otras condiciones, Y el orden de la ejecución es controlado por los operadores condicionales y los operadores del ciclo. El operador condicional comprueba la condición (entregado ello en calidad del argumento), Cumple una de dos ramas del código, depende de aquel, es falso o es verdadero La expresión dada. Las expresiones difíciles condicionales empeoran la legibilidad del código y suben La probabilidad de las faltas durante la composición de tales expresiones.

El Uso del método formal durante la composición de las expresiones condicionales

Cada expresión lógica como resultado del cálculo da el resultado - la verdad o la mentira, Consiste de (las banderas) lógicas variables, que pueden ser las variables booleanas O el resultado de la ejecución de los operadores de la comparación u otros operadores. Aplicaremos el acceso formal para la minimización de la expresión condicional en C:

// ...
if ( (!x1 && !x2 && !x3 && !x4)
    || (!x1 && !x2 && x3 && !x4)
    || (x2 && !x3 && x4)
    || (!x1 && x2 && x3 && x4)
    || (!x1 && x2 && !x4)
    || (x1 && x2 && x3 && x4)
    || (x1 && !x3 && x4)
    || (x1 && !x2 && x3 && !x4) )
    {
    }
// ...

Anotaremos la expresión analítica para la minimización (los símbolos de los operadores '&&' y '||' Son apoyados al mismo nivel con solitario '&' y '|'):

F = (!x1 && !x2 && !x3 && !x4) || (!x1 && !x2 && x3 && !x4)
    || (x2 && !x3 && x4) || (!x1 && x2 && x3 && x4)
    || (!x1 && x2 && !x4) || (x1 && x2 && x3 && x4)
    || (x1 && !x3 && x4) || (x1 && !x2 && x3 && !x4);

Pondremos en marcha el programa Gorgeous Karnaugh, escogeremos el punto del menú "File/New/From analytic form" introduciremos compuesto en el paso anterior La función lógica. Después de la introducción de la expresión escogeremos el punto del menú "Minimize all with espresso" escogeremos más corto de las variantes recibidas (Por 1 o por 0). En la ventana "Minimization results" en el tab C/C++ Comprobaremos la expresión recibida y copiaremos El código recibido para la inserción en el programa:

// ...
/* F */
if (x2&&x4 || !x1&&!x4 || x1&&!x3&&x4 || !x2&&x3&&!x4)
    {
    /* true branch */
    }
else
    {
    /* false branch */
    }
// ...

El Uso de las expresiones en los operadores condicionales

A menudo en los operadores condicionales se usan no las banderas booleanas en el estado evidente, Y las expresiones distintas con el uso de los operadores de las relaciones. Estas expresiones Se puede claramente dar y a la formación del código en C serán puestos en La expresión resultante:

$SUBSTEXPR x1 = i!=End;
$SUBSTEXPR x2 = i>A;
$SUBSTEXPR x3 = j==Begin;
$SUBSTEXPR x4 = j<=B;
F = (!x1 && !x2 && !x3 && !x4) || (!x1 && !x2 && x3 && !x4)
    || (x2 && !x3 && x4) || (!x1 && x2 && x3 && x4)
    || (!x1 && x2 && !x4) || (x1 && x2 && x3 && x4)
    || (x1 && !x3 && x4) || (x1 && !x2 && x3 && !x4);

Como resultado del tratamiento de la función antes citada será recibido La expresión siguiente en C:

/* F */
if ((i>A)&&(j<=B) || !(i!=End)&&!(j<=B) || (i!=End)&&!(j==Begin)&&(j<=B) || !(i>A)&&(j==Begin)&&!(j<=B))
    {
    /* true branch */
    }
else
    {
    /* false branch */
    }

Gorgeous Karnaugh para las lenguas distintas de la programación

Nosotros han mostrado, cómo es posible usar el software Gorgeous Karnaugh para Las minimizaciones de las expresiones condicionales en la lengua C/C ++. Las lenguas C#, ObjectiveC, Java, JavaScript, PHP y Perl poseen semejante a la lengua C ++ por la sintaxis, y el software Gorgeous Karnaugh puede ser usado para la minimización de las expresiones en estas lenguas. Gorgeous Karnaugh apoya también las lenguas con excelente(distinto) de C por la sintaxis de las expresiones condicionales - Tales, como Pascal, Lua, Ruby y Python.

La Versión Gorgeous Karnaugh para los programadores

Si usted el programador, recomendamos al uso la versión del software Gorgeous Karnaugh Standard.

Descarga Gorgeous Karnaugh Standard.

Comprar Gorgeous Karnaugh Standard.