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
IsBiUnateFunctionTo IsCovering BCDEx3 GrayCode StringToBinaryNumber bool() ToAndXor ToVariableInvertedFunction DiagramGateName DigitalSystem FeedbackDiagram Minus NumberSystem MantissaToPositiveInteger MantissaToPositiveNumber object() PermutationMatrix SAT MaxSAT ShortestInputsForDistinguishTwoStates Assign AutoAssignInputAndStateVariables FullTable Fast string() AdjustLogicVariableCount EnlargeLogicFunction SemanticEval ShannonExpansion Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.