Nand
Back to table
/*
Logic-Function-Analysis
Nand
[LogicFunction g]=Nand(LogicFunction F1, ...);
F1 : a list of logic function
g : a logic function
Compute the NAND operator: g=Nand(F1,F2,...).
The NAND operator is equal to Not(And(...)).
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Nand(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
MatchLogicFunction PermuteLogicFunction IsInverse IsLinearFunction IsOneFunction GrayCode binary bool() ToVariableInvertedFunction ToXORP Equiv PositiveDecimalToMantissa RadixFromIndex object() Or POS real() Realization ToFullAnd Solve TransitionSeries Assign StateVariables To2layerOrAnd ShannonTree Fast string ComputeDONTCARE ShannonExpansion Zero