New exercises.

[logicplayer.git] / public_html / esercizi / demorgan4.xml

diff --git a/public_html/esercizi/demorgan4.xml b/public_html/esercizi/demorgan4.xml
new file mode 100644 (file)
index 0000000..abf715a
--- /dev/null
+++ b/public_html/esercizi/demorgan4.xml
@@ -0,0 +1,27 @@
+<esercizio>
+       <ipotesi>
+       </ipotesi>
+       <tesi>
+               <formula type="impl">
+                       <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 type="or">
+                               <formula type="literal">A</formula>
+                               <formula type="literal">B</formula>
+                        </formula>
+               </formula>
+       </tesi>
+       <valutazione>
+               <click>7</click>
+               <tempo>60</tempo>
+               <altezza>12</altezza>
+       </valutazione>
+</esercizio>