Not Formula

From OpenCog

Not Formula

Input: sA

Output: 1-sA

Consistency conditions: none

Formulas can be implemented in Atomese using the PredicateFormulaLink.