]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - public_html/esercizi/demorgan.xml
New exercises.
[logicplayer.git] / public_html / esercizi / demorgan.xml
index 68c079b79c88fad94af681c7f27cbd8912db4a22..42422a3daad2150083708bebdcb940065071d83c 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>