{ "title" : "Nimp", "kind" : "atomic", "type" : "nimp", "tags" : ["boolean", "atomic", "binary", "nimp", "implication"], "description" : "

Boolean NIMP operator. Negation of IMP.

", "inputs" : ["lhs","rhs"], "outputs" : ["value"] }