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
IsBiUnateFunctionTo IsInverse IsLinearFunction IsMonotonicFunction IsPositiveUnateFunctionTo BinaryNumberToString GrayCode TwoComplement ToDualFunction ToVariableInvertedFunction Equiv logicvardef NumberSystem PositiveDecimalToMantissa Radixes To2LayerAndXor SAT InputVariables CreateCompactTable ToDigitalSystem FastVerificationData ROBDD Shannon SimpleCover GetDontCareLogicFunction RandomGenerate Utility CreateDummyLogicFunction ShannonExpansion Zero