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
IsBiUnateFunction IsEqual IsOneFunction IsSelfAntiDualFunction IsZeroFunction AndXor binaryioset ToDiagram Load MantissaToPositiveNumber PositiveDecimalToMantissa RadixToIndex object() Solve ShortestInputsForDistinguishTwoStates Forwardly CreateCompactTable GetExcitationTable Implementation ToDigitalSystem BestVariableOrder FastVerificationData Full MultiCover TimingChart RandomGenerate Substitute var XORP Zero