P<=>NOT Q=> R => P OR NOT R => NOT Q