Logging error messages too + new exercises.

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

diff --git a/public_html/esercizi/ex2-6.xml b/public_html/esercizi/ex2-6.xml
new file mode 100644 (file)
index 0000000..4f7a780
--- /dev/null
+++ b/public_html/esercizi/ex2-6.xml
@@ -0,0 +1,42 @@
+<esercizio>
+       <ipotesi>
+       </ipotesi>
+       <tesi>
+               <formula type="impl">
+                       <formula type="impl">
+                               <formula type="literal">A</formula>
+                               <formula type="or">
+                                       <formula type="literal">C</formula>
+                                       <formula type="literal">D</formula>
+                                </formula>
+                        </formula>
+                       <formula type="impl">
+                               <formula type="impl">
+                                        <formula type="not">
+                                               <formula type="literal">D</formula>
+                                        </formula>
+                                       <formula type="literal">A</formula>
+                                </formula>
+                               <formula type="impl">
+                                       <formula type="impl">
+                                               <formula type="literal">B</formula>
+                                                <formula type="not">
+                                                       <formula type="literal">D</formula>
+                                                </formula>
+                                        </formula>
+                                       <formula type="or">
+                                                <formula type="not">
+                                                       <formula type="literal">B</formula>
+                                                </formula>
+                                               <formula type="literal">C</formula>
+                                        </formula>
+                                </formula>
+                        </formula>
+                </formula>
+       </tesi>
+       <valutazione>
+               <click>20</click>
+               <tempo>240</tempo>
+               <altezza>25</altezza>
+       </valutazione>
+</esercizio>