And Exclusion Formula

From OpenCog
Jump to: navigation, search

AndExclusion Formula

Inputs: sA, sB, sAorB

Output: sAandB = sA+sB -sAorB

Consistency conditions: none

Comment: Uses inclusion-exclusion.

Formulas can be implemented in Atomese using the PredicateFormulaLink.