1lytics

Wiederfactoring des ausgangskodes

Wenn sie der programmierer, wird die Gorgeous Karnaugh KV-Diagramm minimierungssoftware ihnen helfen ihren existierenden kode zu vereinfachen und, die logischen bedingungen in den bedingten zu machen die operatoren und die operatoren des umlaufes einfacher und klarer.

Jedes programm, ist davon nicht abhängig, welche sprache des programmierens sie verwenden, enthält die teile, die sollen werden je nach diesen oder jenen bedingungen erledigt werden, und die ordnung der ausführung wird von den bedingten operatoren und den operatoren des umlaufes kontrolliert. Der bedingte operator prüft die bedingung (verzweigt ihm als argument), eben erledigt einen zwei zweige des kodes, je danach, falsch oder wahrhaft der aufgegebene ausdruck. Die komplizierten bedingten ausdrücke verschlimmern die leserlichkeit des kodes und erhöhen die wahrscheinlichkeit der fehler bei der zusammenstellung solcher ausdrücke.

Die nutzung der formalen Methode bei der zusammenstellung der bedingten ausdrücke

Jeder logische ausdruck gibt infolge der berechnung das ergebnis - die wahrheit oder die lüge, eben besteht aus logisch variabel (der fahnen), die boolesch variabel sein können Oder dem ergebnis der ausführung der operatoren des vergleiches oder anderer operatoren. Geben sie es ist das formale herangehen für die minimierung des bedingten ausdruckes auf C anwendbar:

// ...
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) )
    {
    }
// ...

Wir werden den analytischen ausdruck für die minimierung (die Symbole der operatoren '&&' und '||' aufzeichnen werden auf gleichem fuß mit einzeln '&' und '|') unterstützt:

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);

Wir werden das programm KV-Diagramm minimierungssoftware Gorgeous Karnaugh, starten, wir werden den punkt des menüs wählen "File/New/From analytic form" werden wir gebildet auf dem vorhergehenden schritt eben einsetzen die logische funktion. Nach der inbetriebnahme des ausdruckes werden wir den punkt des menüs wählen "Minimize all with espresso" werden wir kürzer den bekommenen varianten eben wählen (Nnch 1 oder nach 0). Im fenster "Minimization results" auf registerkarte C/C++ wir werden den bekommenen ausdruck prüfen und wir werden abschreiben der bekommene kode für den einschub ins programm:

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

Die nutzung der ausdrücke in den bedingten operatoren

Oft werden in den bedingten operatoren nicht boolesch die fahnen in der offenbaren art verwendet, und verschiedene ausdrücke in die nutzung der operatoren der beziehungen. Diese ausdrücke man kann offenbar aufgeben und bei der bildung des kodes auf C werden sie in ersetzt sein resultierend der Ausdruck:

$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);

Infolge der иearbeitung der obenangeführten аunktion wird bekommen sein вer folgende фusdruck auf 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 für verschiedene sprachen des programmierens

Wir haben vorgeführt, wie kann man die KV-Diagramm minimierungssoftware Gorgeous Karnaugh für verwenden die minimierungen der bedingten ausdrücke auf der sprache C/C ++. Die sprachen C#, ObjectiveC, Java, JavaScript, PHP und Perl verfügen ähnlich der sprache C++ von der syntax, und die KV-Diagramm minimierungssoftware Gorgeous Karnaugh kann für die minimierung der ausdrücke auf diesen sprachen verwendet sein. Gorgeous Karnaugh unterstützt die sprachen mit anderer syntax der bedingten ausdrücke auch - solche, wie Pascal, Lua, Ruby und Python.

Die Version Gorgeous Karnaugh für die programmierer

Wenn sie der programmierer, empfehlen wir zur nutzung die version der software Gorgeous Karnaugh Standard.

Download Gorgeous Karnaugh Standard.

Kauf Gorgeous Karnaugh Standard.