add examples for add_conjunction add_disjunction