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
Advanced MatchLogicFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr ToBinary BinaryNumberToString bool ToSOP ToTruthTable ToVariableInvertedFunction minterm Nand Nor real MaxSAT Solve Assign Backwardly HuffmanMealy ShannonTree Fast Canonical GetDontCareLogicFunction Utility IndependentBase Normalization Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.