Shuffling.

[logicplayer.git] / Server / webApp / esercizi / demorgan2.xml

diff --git a/Server/webApp/esercizi/demorgan2.xml b/Server/webApp/esercizi/demorgan2.xml
deleted file mode 100644 (file)
index 1445f1f..0000000
--- a/Server/webApp/esercizi/demorgan2.xml
+++ /dev/null
@@ -1,27 +0,0 @@
-<esercizio>
-       <ipotesi>
-       </ipotesi>
-       <tesi>
-               <formula type="impl">
-                       <formula type="or">
-                               <formula type="literal">A</formula>
-                               <formula type="literal">B</formula>
-                        </formula>
-                       <formula type="not">
-                               <formula type="and">
-                                       <formula type="not">
-                                               <formula type="literal">A</formula>
-                                       </formula>
-                                       <formula type="not">
-                                               <formula type="literal">B</formula>
-                                       </formula>
-                               </formula>
-                        </formula>
-               </formula>
-       </tesi>
-       <valutazione>
-               <click>13</click>
-               <tempo>60</tempo>
-               <altezza>5</altezza>
-       </valutazione>
-</esercizio>