TruthTable.ToAndOr
Back to table
/*
Logic-Function-Analysis
TruthTable.ToAndOr
[AndOr() g]=TruthTable.ToAndOr(TruthTable f);
f : a logic function in the TruthTable form
g : a list of logic function in the AndOr form
Convert a TruthTable to a list of the AndOr logic functions.
*/
//-------------------------------------------------------------------
// examples
[table]=TruthTable()
{
    2'b00 => 4'b1000;
    2'b01 => 4'b0100;
    2'b10 => 4'b0010;
    2'b11 => 4'b0001;
}
[flist]=TruthTable.ToAndOr(table);
f1=List.Get(flist,1);
f2=List.Get(flist,2);
[f3,f4]=TruthTable.ToAndOr(table);
[glist]=Convert.ToAndOr(table);
Print(flist,f1,f2,f3,f4,glist);
//-------------------------------------------------------------------
// result
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
IsPositiveUnateFunctionTo ToAndOr PureBinary TwoComplement binary ToAndXor ToXORP FeedbackDiagram logicvardef Minus LeastSignificantDigit MantissaToPositiveDecimal MantissaToPositiveNumber MostSignificantDigit PositiveIntegerToMantissa Radixes One Or real() To2LayerOrAnd InputVariables StateVariables Fast MultiCover StateTransition string() TruthTable GetNegativeLogicFunction AdjustLogicVariableCount Zero