NOT (P AND NOT P)
NOT (P AND NOT P)

Logic is the study of reasoning, including both its modes and its valid usage.