// Numbas version: finer_feedback_settings
{"name": "Equivalence rules 2 - quiz", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"advice": "", "statement": "<p>Match the equivalence with the corresponding law.</p>", "preamble": {"js": "", "css": ""}, "variables": {"prop5": {"definition": "random(propositions except [prop1, prop2, prop3, prop4])", "name": "prop5", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "prop2": {"definition": "random(propositions except prop1)", "name": "prop2", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "prop7": {"definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5, prop6])", "name": "prop7", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "prop6": {"definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5])", "name": "prop6", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "prop4": {"definition": "random(propositions except [prop1, prop2, prop3])", "name": "prop4", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "prop1": {"definition": "random(propositions)", "name": "prop1", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "prop3": {"definition": "random(propositions except [prop1, prop2])", "name": "prop3", "templateType": "anything", "description": "", "group": "Ungrouped variables"}, "propositions": {"definition": "[\n  \"(p \\\\lor q)\",\n  \"(p \\\\land q)\",\n  \"p\",\n  \"q\",\n  \"r\",\n  \"\\\\lnot p\",\n  \"\\\\lnot r\",\n  \"(p \\\\land r)\",\n  \"(r \\\\lor q)\"\n]", "name": "propositions", "templateType": "anything", "description": "", "group": "Ungrouped variables"}}, "variable_groups": [], "ungrouped_variables": ["propositions", "prop1", "prop2", "prop3", "prop4", "prop5", "prop6", "prop7"], "parts": [{"extendBaseMarkingAlgorithm": true, "marks": 0, "maxMarks": 0, "unitTests": [], "maxAnswers": 0, "variableReplacementStrategy": "originalfirst", "minMarks": 0, "layout": {"expression": "", "type": "all"}, "type": "m_n_x", "minAnswers": 0, "variableReplacements": [], "shuffleAnswers": false, "displayType": "radiogroup", "choices": ["\\[\\var{latex(prop3)} \\lor \\lnot\\var{latex(prop3)} \\equiv T\\]", "\\[\\var{latex(prop5)} \\land&nbsp;\\var{latex(prop5)} \\equiv \\var{latex(prop5)} \\]", "\\[\\var{latex(prop7)} \\land F \\equiv F\\]", "\\[\\var{latex(prop1)} \\land \\lnot\\var{latex(prop1)} \\equiv F\\]"], "matrix": [["1", "0", 0, 0], ["0", "0", "1", 0], [0, 0, 0, "1"], ["1", 0, "0", 0]], "warningType": "none", "showFeedbackIcon": true, "showCorrectAnswer": true, "answers": ["Negation", "Identity", "Idempotent", "Annihilation"], "scripts": {}, "customMarkingAlgorithm": "", "shuffleChoices": false, "showCellAnswerState": true}], "extensions": [], "name": "Equivalence rules 2 - quiz", "functions": {}, "rulesets": {}, "metadata": {"licence": "Creative Commons Attribution 4.0 International", "description": "<p>Match the equivalence&nbsp;with the rule</p>"}, "tags": [], "variablesTest": {"maxRuns": 100, "condition": ""}, "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/"}]}