New exercises.

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

diff --git a/public_html/esercizi/ex2-7.xml b/public_html/esercizi/ex2-7.xml
new file mode 100644 (file)
index 0000000..12954d6
--- /dev/null
+++ b/public_html/esercizi/ex2-7.xml
@@ -0,0 +1,41 @@
+<esercizio>
+       <ipotesi>
+       </ipotesi>
+       <tesi>
+               <formula type="impl">
+                       <formula type="impl">
+                               <formula type="literal">F</formula>
+                               <formula type="or">
+                                       <formula type="literal">G</formula>
+                                       <formula type="literal">E</formula>
+                                </formula>
+                        </formula>
+                       <formula type="impl">
+                               <formula type="impl">
+                                       <formula type="literal">G</formula>
+                                       <formula type="or">
+                                                <formula type="not">
+                                                       <formula type="literal">L</formula>
+                                                </formula>
+                                               <formula type="literal">E</formula>
+                                        </formula>
+                                </formula>
+                               <formula type="impl">
+                                       <formula type="impl">
+                                               <formula type="literal">L</formula>
+                                               <formula type="literal">F</formula>
+                                        </formula>
+                                       <formula type="impl">
+                                               <formula type="literal">L</formula>
+                                               <formula type="literal">E</formula>
+                                        </formula>
+                                </formula>
+                        </formula>
+                </formula>
+       </tesi>
+       <valutazione>
+               <click>14</click>
+               <tempo>240</tempo>
+               <altezza>20</altezza>
+       </valutazione>
+</esercizio>