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
And AndXor Binary AbsoluteExpression BCD PureBinary bool() ToAndXor ToDiagram Equiv FeedbackSystem Imply list() Count Get MantissaToPositiveInteger SOP Assign StateVariables StateTransitionBasedly Compatibility BestVariableOrder FastVerificationData ROBDD Canonical MultiCover SimpleCover StateDeviceName var Zero