Choose the correct logical expression for the following English sentences.
", "advice": "", "rulesets": {}, "extensions": [], "builtin_constants": {"e": true, "pi,\u03c0": true, "i": true}, "constants": [], "variables": {"mm1": {"name": "mm1", "group": "Ungrouped variables", "definition": "map(map(if(choices[1][6][y]=x,1,0),x,0..8),y,0..3)", "description": "", "templateType": "anything", "can_override": false}, "mm0": {"name": "mm0", "group": "Ungrouped variables", "definition": "map(map(if(choices[0][6][y]=x,1,0),x,0..8),y,0..3)", "description": "", "templateType": "anything", "can_override": false}, "mm2": {"name": "mm2", "group": "Ungrouped variables", "definition": "map(map(if(choices[2][6][y]=x,1,0),x,0..8),y,0..3)", "description": "", "templateType": "anything", "can_override": false}, "t": {"name": "t", "group": "Ungrouped variables", "definition": "random(0,1,2)", "description": "", "templateType": "anything", "can_override": false}, "choices": {"name": "choices", "group": "Ungrouped variables", "definition": "[['It is snowing','I will go skiing',\n 'As it is not snowing I will go skiing.',\n 'It will snow if I don\\'t go skiing.',\n 'I will go skiing if it is snowing.',\n 'It is snowing and I may or may not go skiing.',\n [2,8,4,6,0,1,3,7,5]\n ],\n ['I am working at my studies', 'I am in the library',\n 'I am working at my studies in the library.',\n 'If I use the library then I am working at my studies.',\n 'If I am working at my studies then I am not in the library.',\n 'If I am in the library then I may not be working at my studies.',\n [1,7,0,6,8,2,3,4,5]\n ],\n ['It is sunny','I will carry an umbrella',\n 'If it is not sunny then I will carry an umbrella.',\n 'I carry an umbrella even if it is sunny.',\n 'If it is sunny then I may carry an umbrella.',\n 'If I carry an umbrella then the day always turns out to be sunny!',\n [8,4,6,7,0,1,2,5,3]\n \n]\n \n]", "description": "", "templateType": "anything", "can_override": false}, "logic_exp": {"name": "logic_exp", "group": "Ungrouped variables", "definition": "['$\\\\neg p \\\\lor \\\\neg q$', \n '$p \\\\land q$', \n '$\\\\neg p \\\\land q$',\n '$p \\\\land \\\\neg q$',\n '$p \\\\to q$',\n '$\\\\neg p \\\\land \\\\neg q$',\n '$(p \\\\lor \\\\neg q) \\\\land p$',\n '$q \\\\to p$',\n '$\\\\neg p \\\\to q$'\n ]", "description": "", "templateType": "anything", "can_override": false}}, "variablesTest": {"condition": "", "maxRuns": 100}, "ungrouped_variables": ["choices", "logic_exp", "t", "mm0", "mm1", "mm2"], "variable_groups": [], "functions": {}, "preamble": {"js": "", "css": ""}, "parts": [{"type": "m_n_x", "useCustomName": false, "customName": "", "marks": 0, "scripts": {}, "customMarkingAlgorithm": "", "extendBaseMarkingAlgorithm": true, "unitTests": [], "showCorrectAnswer": true, "showFeedbackIcon": true, "variableReplacements": [], "variableReplacementStrategy": "originalfirst", "nextParts": [], "suggestGoingBack": false, "adaptiveMarkingPenalty": 0, "exploreObjective": null, "prompt": "Let $p$ and $q$ denote respectively the propositions '{choices[0][0]}' and '{choices[0][1]}'.
", "minMarks": 0, "maxMarks": 0, "minAnswers": 0, "maxAnswers": 0, "shuffleChoices": true, "shuffleAnswers": true, "displayType": "radiogroup", "warningType": "none", "showCellAnswerState": true, "markingMethod": "sum ticked cells", "choices": ["{choices[0][2]}", "{choices[0][3]}", "{choices[0][4]}", "{choices[0][5]}"], "matrix": "mm0", "layout": {"type": "all", "expression": ""}, "answers": ["{logic_exp[0]}", "{logic_exp[1]}", "{logic_exp[2]}", "{logic_exp[3]}", "{logic_exp[4]}", "{logic_exp[5]}", "{logic_exp[6]}", "{logic_exp[7]}", "{logic_exp[8]}"]}, {"type": "m_n_x", "useCustomName": false, "customName": "", "marks": 0, "scripts": {}, "customMarkingAlgorithm": "", "extendBaseMarkingAlgorithm": true, "unitTests": [], "showCorrectAnswer": true, "showFeedbackIcon": true, "variableReplacements": [], "variableReplacementStrategy": "originalfirst", "nextParts": [], "suggestGoingBack": false, "adaptiveMarkingPenalty": 0, "exploreObjective": null, "prompt": "Let $p$ and $q$ denote respectively the propositions '{choices[1][0]}' and '{choices[1][1]}'.
", "minMarks": 0, "maxMarks": 0, "minAnswers": 0, "maxAnswers": 0, "shuffleChoices": true, "shuffleAnswers": true, "displayType": "radiogroup", "warningType": "none", "showCellAnswerState": true, "choices": ["{choices[1][2]}", "{choices[1][3]}", "{choices[1][4]}", "{choices[1][5]}"], "matrix": "mm1", "layout": {"type": "all", "expression": ""}, "answers": ["{logic_exp[0]}", "{logic_exp[1]}", "{logic_exp[2]}", "{logic_exp[3]}", "{logic_exp[4]}", "{logic_exp[5]}", "{logic_exp[6]}", "{logic_exp[7]}", "{logic_exp[8]}"]}, {"type": "m_n_x", "useCustomName": false, "customName": "", "marks": 0, "scripts": {}, "customMarkingAlgorithm": "", "extendBaseMarkingAlgorithm": true, "unitTests": [], "showCorrectAnswer": true, "showFeedbackIcon": true, "variableReplacements": [], "variableReplacementStrategy": "originalfirst", "nextParts": [], "suggestGoingBack": false, "adaptiveMarkingPenalty": 0, "exploreObjective": null, "prompt": "Let $p$ and $q$ denote respectively the propositions '{choices[2][0]}' and '{choices[2][1]}'.
", "minMarks": 0, "maxMarks": 0, "minAnswers": 0, "maxAnswers": 0, "shuffleChoices": true, "shuffleAnswers": true, "displayType": "radiogroup", "warningType": "none", "showCellAnswerState": true, "choices": ["{choices[2][2]}", "{choices[2][3]}", "{choices[2][4]}", "{choices[2][5]}"], "matrix": "mm2", "layout": {"type": "all", "expression": ""}, "answers": ["{logic_exp[0]}", "{logic_exp[1]}", "{logic_exp[2]}", "{logic_exp[3]}", "{logic_exp[4]}", "{logic_exp[5]}", "{logic_exp[6]}", "{logic_exp[7]}", "{logic_exp[8]}"]}], "partsMode": "all", "maxMarks": 0, "objectives": [], "penalties": [], "objectiveVisibility": "always", "penaltyVisibility": "always", "contributors": [{"name": "Blathnaid Sheridan", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/447/"}]}]}], "contributors": [{"name": "Blathnaid Sheridan", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/447/"}]}