BinaryOr Formula

From OpenCog
Jump to: navigation, search

Binary OR Formula

Inputs: sA, sB

Output: sAorB = sA + sB -sA*sB

Consistency conditions: none

Formulas can be implemented in Atomese using the PredicateFormulaLink.