@extra-boolean/nimply (npm): Checks if antecedent ⇏ consequent (a ⇏ b).
Keywords: extra|boolean|algebra|logic|nimply|and|count|eq|imply|is|nand|neq|nor|not|or|parse|select|xnor|xor