Use euler diagrams to demonstrate whether a statement is a contradiction or not. Truth tables and boolean logic