Now select the following statements that are true of the diagram, using the appropriate truth-tables to interpret the connectives :