// Numbas version: finer_feedback_settings
{"name": "Equivalence rules 1 - quiz", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"name": "Equivalence rules 1 - quiz", "tags": [], "metadata": {"description": "<p>Match the equivalence&nbsp;with the rule</p>", "licence": "Creative Commons Attribution 4.0 International"}, "statement": "<p>Match the equivalence with the corresponding law.</p>\n<p><strong>Negative marking applies:</strong> you will receive 1 marks for a correct answer, 0 for a blank, and - 0.25 for a wrong answer.&nbsp;&nbsp;</p>\n<p></p>", "advice": "", "rulesets": {}, "extensions": [], "variables": {"prop5": {"name": "prop5", "group": "Ungrouped variables", "definition": "random(propositions except [prop1, prop2, prop3, prop4])", "description": "", "templateType": "anything"}, "prop2": {"name": "prop2", "group": "Ungrouped variables", "definition": "random(propositions except prop1)", "description": "", "templateType": "anything"}, "propositions": {"name": "propositions", "group": "Ungrouped variables", "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]", "description": "", "templateType": "anything"}, "prop6": {"name": "prop6", "group": "Ungrouped variables", "definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5])", "description": "", "templateType": "anything"}, "prop4": {"name": "prop4", "group": "Ungrouped variables", "definition": "random(propositions except [prop1, prop2, prop3])", "description": "", "templateType": "anything"}, "prop1": {"name": "prop1", "group": "Ungrouped variables", "definition": "random(propositions)", "description": "", "templateType": "anything"}, "prop3": {"name": "prop3", "group": "Ungrouped variables", "definition": "random(propositions except [prop1, prop2])", "description": "", "templateType": "anything"}, "prop7": {"name": "prop7", "group": "Ungrouped variables", "definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5, prop6])", "description": "", "templateType": "anything"}}, "variablesTest": {"condition": "", "maxRuns": 100}, "ungrouped_variables": ["propositions", "prop1", "prop2", "prop3", "prop4", "prop5", "prop6", "prop7"], "variable_groups": [], "functions": {}, "preamble": {"js": "", "css": ""}, "parts": [{"type": "m_n_x", "useCustomName": false, "customName": "", "marks": 0, "showCorrectAnswer": true, "showFeedbackIcon": true, "scripts": {}, "variableReplacements": [], "variableReplacementStrategy": "originalfirst", "adaptiveMarkingPenalty": 0, "customMarkingAlgorithm": "", "extendBaseMarkingAlgorithm": true, "unitTests": [], "minMarks": 0, "maxMarks": 0, "minAnswers": 0, "maxAnswers": 0, "shuffleChoices": false, "shuffleAnswers": false, "displayType": "radiogroup", "warningType": "none", "showCellAnswerState": true, "choices": ["\\[\\lnot \\lnot \\var{latex(prop3)} \\equiv \\var{latex(prop3)}\\]", "\\[\\var{latex(prop4)} \\leftrightarrow<br/>\\var{latex(prop5)} \\equiv (\\var{latex(prop4)} \\to \\var{latex(prop5)}) \\land (\\var{latex(prop5)} \\to \\var{latex(prop4)})\\]", "\\[\\var{latex(prop4)} \\to\\var{latex(prop6)} \\equiv \\lnot\\var{latex(prop4)} \\lor\\var{latex(prop6)}\\]", "\\[\\lnot(\\var{latex(prop3)} \\lor \\var{latex(prop5)}) \\equiv \\lnot\\var{latex(prop3)} \\land \\lnot\\var{latex(prop5)}\\]"], "matrix": [["-0.25", "1", "-0.25", "-0.25"], ["-0.25", "-0.25", "-0.25", "1"], ["-0.25", "-0.25", "1", "-0.25"], ["1", "-0.25", "-0.25", "-0.25"]], "layout": {"type": "all", "expression": ""}, "answers": ["De Morgan's&nbsp;", "Double negation", "Conditional", "Biconditional"]}], "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/"}]}