conditional foldable with converse, inverse, contrapositive, negation,and biconditional statements