Simplification.MultiCover
Back to table
/*
Logic-Function-Analysis
Simplification.MultiCover
[LogicFunction g]=Simplification.MultiCover(LogicFunction f);
f : a logic function
g : a logic function may in the simpler form
Simplify a logic function with the multi-cover algorithm.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){
1,2 ;
-1,3 ;
-1,-2,3 ;
-1,-2,-3 ;
1,2,3 ;
}
[f]=Simplification.MultiCover(P);
Print(f);
//-------------------------------------------------------------------
// result
IsCovering IsOneFunction IsPositiveUnateFunctionTo IsUnateFunction And FromBinary ToBinary BCDEx3 OneComplement PureBinary Convert DiagramGateName Dimacs MantissaToPositiveDecimal PermutationMatrix Print To2LayerAndXor ToFullAnd Assign CreateCompactTable BestVariableOrder Fast SimpleCover string GetPositiveLogicFunction RandomGenerate Utility ComputeFunctionOrder XORP Zero