Convert.ToAndOr
Back to table
/*
Logic-Function-Analysis
Convert.ToAndOr
[AndOr g]=Convert.ToAndOr(LogicFunction f);
f : a logic function
g : a logic function in the AndOr form.
Convert the first sub logic function to the AndOr form
*/
//-------------------------------------------------------------------
// examples
[table]=TruthTable()
{
2'b00 => 4'b1000;
2'b01 => 4'b0100;
2'b10 => 4'b0010;
2'b11 => 4'b0001;
}
[glist]=Convert.ToAndOr(table);
Print(table,glist);
//-------------------------------------------------------------------
// result
Analysis IsMonotonicFunction IsPositiveFunction IsSelfAntiDualFunction IsSelfDualFunction IsThresholdFunction IsUnateFunction IsZeroFunction OneComplement bool ToPOS ToShannonTree FeedbackSystem Count MantissaToPositiveDecimal MantissaToPositiveNumber object() Balanced BestVariableOrder ROBDD Full MultiCover SimpleCover StateTransition CreateFromLogicFunctions GetDontCareLogicFunction GetSubTable RandomGenerate CreateDummyLogicFunction Zero