]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - public_html/esercizi/demorgan2.xml
New exercises.
[logicplayer.git] / public_html / esercizi / demorgan2.xml
index 1445f1f79bd9ee60e5dcde107c2148b4c510f67c..0180d6e9b1c8ac5807be5887b3ab0c870b669afe 100644 (file)
@@ -20,8 +20,8 @@
                </formula>
        </tesi>
        <valutazione>
-               <click>13</click>
+               <click>7</click>
                <tempo>60</tempo>
-               <altezza>5</altezza>
+               <altezza>12</altezza>
        </valutazione>
 </esercizio>