positive_vs_monotone (306B)
1 # Positive vs monotone 2 3 - [positive] "positive" means "no negations" (syntactic) 4 - [monotone] "monotone" means "expresses a [monotone] function", i.e., equivalent to a positive circuit (semantic) 5 - but a monotone [circuit] can sometimes be made much more concise via the use of [negation] 6 7 Up: [circuit]