// Numbas version: finer_feedback_settings
{"name": "Equivalence rules 3", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"name": "Equivalence rules 3", "tags": [], "preamble": {"js": "", "css": ""}, "parts": [{"maxAnswers": 0, "type": "m_n_x", "showCellAnswerState": true, "showCorrectAnswer": true, "warningType": "none", "minAnswers": 0, "matrix": [["0", "1", 0, 0], ["1", "0", 0, 0], [0, 0, "1", "0"], [0, 0, "0", "1"], ["0", "1", 0, 0], [0, 0, "1", "0"], ["1", "0", 0, 0], [0, 0, "0", "1"]], "variableReplacements": [], "answers": ["Commutative", "Associative", "Distributive", "Absorption"], "choices": ["\\[\\var{latex(prop5)} \\land (\\var{latex(prop4)} \\land\\var{latex(prop7)}) \\equiv (\\var{latex(prop5)} \\land \\var{latex(prop4)}) \\land\\var{latex(prop7)}\\]", "\\[\\var{latex(prop1)} \\land \\var{latex(prop3)} \\equiv&nbsp; \\var{latex(prop3)} \\land \\var{latex(prop1)}\\]", "\\[\\var{latex(prop6)}\\land (\\var{latex(prop4)} \\lor \\var{latex(prop5)}) \\equiv (\\var{latex(prop6)} \\land \\var{latex(prop4)}) \\lor (\\var{latex(prop6)} \\land \\var{latex(prop5)})\\]", "\\[\\var{latex(prop4)} \\land (\\var{latex(prop4)} \\lor \\var{latex(prop6)}) \\equiv&nbsp;\\var{latex(prop4)}\\]", "\\[\\var{latex(prop3)} \\lor (\\var{latex(prop1)} \\lor \\var{latex(prop7)}) \\equiv (\\var{latex(prop3)} \\lor \\var{latex(prop1)}) \\lor \\var{latex(prop7)}\\]", "\\[\\var{latex(prop7)} \\lor (\\var{latex(prop2)} \\land \\var{latex(prop6)}) \\equiv (\\var{latex(prop7)} \\lor \\var{latex(prop2)}) \\land (\\var{latex(prop7)} \\lor \\var{latex(prop6)})\\]", "\\[\\var{latex(prop7)} \\lor \\var{latex(prop2)} \\equiv&nbsp; \\var{latex(prop2)} \\lor \\var{latex(prop7)}\\]", "\\[\\var{latex(prop1)} \\lor (\\var{latex(prop1)} \\land \\var{latex(prop2)}) \\equiv&nbsp;\\var{latex(prop1)}\\]"], "scripts": {}, "shuffleAnswers": false, "marks": 0, "unitTests": [], "extendBaseMarkingAlgorithm": true, "displayType": "radiogroup", "layout": {"expression": "", "type": "all"}, "showFeedbackIcon": true, "shuffleChoices": false, "minMarks": 0, "customMarkingAlgorithm": "", "maxMarks": 0, "variableReplacementStrategy": "originalfirst"}], "functions": {}, "variable_groups": [], "variables": {"prop2": {"templateType": "anything", "name": "prop2", "group": "Ungrouped variables", "description": "", "definition": "random(propositions except prop1)"}, "prop3": {"templateType": "anything", "name": "prop3", "group": "Ungrouped variables", "description": "", "definition": "random(propositions except [prop1, prop2])"}, "prop7": {"templateType": "anything", "name": "prop7", "group": "Ungrouped variables", "description": "", "definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5, prop6])"}, "prop4": {"templateType": "anything", "name": "prop4", "group": "Ungrouped variables", "description": "", "definition": "random(propositions except [prop1, prop2, prop3])"}, "propositions": {"templateType": "anything", "name": "propositions", "group": "Ungrouped variables", "description": "", "definition": "[\n  \"p\",\n  \"q\",\n  \"r\",\n  \"s\",\n  \"t\",\n  \"\\\\lnot p\",\n  \"\\\\lnot q\",\n  \"\\\\lnot r\",\n  \"\\\\lnot s\",\n  \"\\\\lnot t\",\n  \"(p \\\\land r)\",\n  \"(r \\\\lor q)\"\n]"}, "prop6": {"templateType": "anything", "name": "prop6", "group": "Ungrouped variables", "description": "", "definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5])"}, "prop1": {"templateType": "anything", "name": "prop1", "group": "Ungrouped variables", "description": "", "definition": "random(propositions)"}, "prop5": {"templateType": "anything", "name": "prop5", "group": "Ungrouped variables", "description": "", "definition": "random(propositions except [prop1, prop2, prop3, prop4])"}}, "metadata": {"licence": "Creative Commons Attribution 4.0 International", "description": "<p>Match the equivalence&nbsp;with the rule</p>"}, "rulesets": {}, "advice": "", "extensions": [], "statement": "<p></p>\n<p>Match the equivalence with the corresponding law.</p>", "variablesTest": {"maxRuns": 100, "condition": ""}, "ungrouped_variables": ["propositions", "prop1", "prop2", "prop3", "prop4", "prop5", "prop6", "prop7"], "type": "question", "contributors": [{"name": "Christian Lawson-Perfect", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/7/"}, {"name": "Marie Nicholson", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/1799/"}]}]}], "contributors": [{"name": "Christian Lawson-Perfect", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/7/"}, {"name": "Marie Nicholson", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/1799/"}]}