Nor
Back to table
/*
Logic-Function-Analysis
Nor
[LogicFunction g]=Nor(LogicFunction F1, ...);
F1 : a list of logic functions
g : a logic function
Compute the Nor operator: g=Nor(F1,F2,...).
The Nor operator is equal to Not(Or(...)).
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Nor(P,Q);
Print(P,q,f);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsEqual IsNegativeUnateFunctionTo IsOneFunction IsPositiveFunction BDD TwoComplement binaryioset ToROBDD Get Not RadixToIndex object() Or OrAnd To2LayerAndOr To2LayerAndXor MaxSAT TransitionSeries Assign Forwardly StateTransitionBasedly Balanced ROBDD SimpleInner GetDontCareLogicFunction IndependentBase var XORP Zero