X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=public_html%2Fesercizi%2Fex2-1.xml;fp=public_html%2Fesercizi%2Fex2-1.xml;h=0958d450a9b0bca14b28f5f148c92aab87548cbe;hb=1b40a620ee1d26d56070a8b324a45140222488b3;hp=0000000000000000000000000000000000000000;hpb=c4d9dc14fb76469e95aa775c4aa09a448e42103e;p=logicplayer.git

diff --git a/public_html/esercizi/ex2-1.xml b/public_html/esercizi/ex2-1.xml
new file mode 100644
index 0000000..0958d45
--- /dev/null
+++ b/public_html/esercizi/ex2-1.xml
@@ -0,0 +1,21 @@
+<esercizio>
+	<ipotesi>
+	</ipotesi>
+	<tesi>
+		<formula type="impl">
+			<formula type="and">
+				<formula type="literal">A</formula>
+			        <formula type="or">
+				        <formula type="literal">A</formula>
+				        <formula type="literal">B</formula>
+                                </formula>
+                        </formula>
+			<formula type="literal">A</formula>
+                </formula>
+	</tesi>
+	<valutazione>
+		<click>3</click>
+		<tempo>20</tempo>
+		<altezza>3</altezza>
+	</valutazione>
+</esercizio>