Simplification.Canonical


Back to table

/*
Logic-Function-Analysis
Simplification.Canonical

[LogicFunction g]=Simplification.Canonical(LogicFunction f);

f : a logic function
g : a logic function may in the simpler form

Simplify a logic function with the full algorithm but without removing the multi-covered logic terms.

*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 
   1,2 ; 
   -1,3 ; 
   -1,-2,3 ; 
   -1,-2,-3 ; 
   1,2,3 ; 
}
[f]=Simplification.Canonical(P);
Print(f);


//-------------------------------------------------------------------
// result





AndOr Binary ToBinary BinaryNumberToString Convert ToAndXor ToNotFunction ToTruthTable DigitalSystem Dimacs Eq ExcitationTable Imply logicvardef Minus MantissaToPositiveNumber PositiveDecimalToMantissa object PermutationMatrix Print To2LayerNor BestVariableOrder Full Shannon SimpleCover GetSubTable RandomGenerate Normalization var() Zero

Search This Website :

 
Buy website traffic cheap