Not Formula

From OpenCog
Jump to: navigation, search

Not Formula

Input: sA

Output: 1-sA

Consistency conditions: none

Formulas can be implemented in Atomese using the PredicateFormulaLink.