p implise pare equilent p ^ nehation q implize r^ negation r