 | 最後的請求 |
你沒有登錄。
先前的計算請求:
/*
Logic-Function-Analysis
Simplification.Full
[LogicFunction g]=Simplification.Full(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the full algorithm.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){
1,2 ;
-1,3 ;
-1,-2,3 ;
-1,-2,-3 ;
1,2,3 ;
}
[f]=Simplification.Full(P);
Print(f);
//-------------------------------------------------------------------
// result
先前的計算結果:
/*
Logic-Function-Analysis
Simplification.Full
[LogicFunction g]=Simplification.Full(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the full algorithm.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){
1,2 ;
-1,3 ;
-1,-2,3 ;
-1,-2,-3 ;
1,2,3 ;
}
[f]=Simplification.Full(P);
Print(f);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsParityFunction IsPositiveFunction IsUnateFunction AndXor Binary BCDEx3 OneComplement bool Convert AddXorTerm DiagramGateName Equiv logicvardef() LeastSignificantDigit POS real To2LayerOrAnd To2LayerAndOr ShortestInputsForTransition AutoAssignInputAndStateVariables CreateCompactTable FastVerificationData SimpleInner StateTransition CreateFromLogicFunctions GetDontCareLogicFunction RandomGenerate Utility Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.