And
Back to table
/*
Logic-Function-Analysis
And
[LogicFunction g]=And(LogicFunction F1, ...);
Fi : a list of logic functions.
g : a logic function.
Compute the AND operator: g=And(F1,F2,...).
After the And() operation, we only apply the Simplification.SimpleInner(), and a few steps of Simplification.SimpleCover().
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=And(P,Q);
Print(f);
//-------------------------------------------------------------------
// result
IsEqual IsInverse IsPositiveUnateFunctionTo And ToAndOr Binary MinValue ToAndXor ToXORP logicvardef() long() LeastSignificantDigit RadixToIndex One Or real() To2LayerOrAnd To2LayerAndOr SAT InputVariables ToStateTransitionTable FullTable string() TimingChart GetPositiveLogicFunction ComputeFunctionOrder ShannonExpansion Substitute var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.