New exercises.

[logicplayer.git] / public_html / esercizi / ex1-6.xml

diff --git a/public_html/esercizi/ex1-6.xml b/public_html/esercizi/ex1-6.xml
new file mode 100644 (file)
index 0000000..e53a283
--- /dev/null
+++ b/public_html/esercizi/ex1-6.xml
@@ -0,0 +1,21 @@
+<esercizio>
+       <ipotesi>
+       </ipotesi>
+       <tesi>
+               <formula type="impl">
+                       <formula type="impl">
+                               <formula type="impl">
+                                       <formula type="literal">A</formula>
+                                       <formula type="literal">bot</formula>
+                                </formula>
+                               <formula type="literal">bot</formula>
+                        </formula>
+                       <formula type="literal">A</formula>
+                </formula>
+       </tesi>
+       <valutazione>
+               <click>7</click>
+               <tempo>60</tempo>
+               <altezza>8</altezza>
+       </valutazione>
+</esercizio>