New exercises.

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

diff --git a/public_html/esercizi/ex1-4.xml b/public_html/esercizi/ex1-4.xml
new file mode 100644 (file)
index 0000000..4db2c07
--- /dev/null
+++ b/public_html/esercizi/ex1-4.xml
@@ -0,0 +1,27 @@
+<esercizio>
+       <ipotesi>
+       </ipotesi>
+       <tesi>
+               <formula type="impl">
+                       <formula type="not">
+                               <formula type="or">
+                                       <formula type="literal">A</formula>
+                                       <formula type="literal">B</formula>
+                                </formula>
+                        </formula>
+                       <formula type="and">
+                               <formula type="not">
+                                       <formula type="literal">A</formula>
+                                </formula>
+                               <formula type="not">
+                                       <formula type="literal">B</formula>
+                                </formula>
+                        </formula>
+                </formula>
+       </tesi>
+       <valutazione>
+               <click>11</click>
+               <tempo>90</tempo>
+               <altezza>12</altezza>
+       </valutazione>
+</esercizio>