BinaryOr Formula

From OpenCog

Binary OR Formula

Inputs: sA, sB

Output: sAorB = sA + sB -sA*sB

Consistency conditions: none

Formulas can be implemented in Atomese using the PredicateFormulaLink.