conjunction_simplification_rule.h 1.1 KB