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 IsBiUnateFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfDualFunction AndOr List MaxValue MinValue BCD binaryioset() DiagramGateName Get PositiveIntegerToMantissa PermutationMatrix Realization MaxSAT Solve Sequential Implementation FastVerificationData Canonical DontCare Full MultiCover Shannon RandomGenerate Utility CreateDummyLogicFunction Zero