Or
Back to table
/*
Logic-Function-Analysis
Or
[LogicFunction g]=Or(LogicFunction F1, ...);
F1 : a list of logic functions.
g : a logic function
Compute the OR operator: g=Or(F1,F2,...).
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Or(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
IsInverse IsLinearFunction IsSymmetricFunctionTo IsUnateFunctionTo BDD binary() AbsoluteExpression GrayCode PureBinary ToDualFunction ToVariableInvertedFunction ToXORP Eq logicvardef NumberSystem LeastSignificantDigit MostSignificantDigit RadixToIndex To2LayerAndXor To2LayerNand OutputAndStateBasedly Simplification Balanced FastVerificationData ROBDD CreateFromLogicFunctions GetSubTable Normalization ShannonExpansion Zero