]> matita.cs.unibo.it Git - logicplayer.git/blob - public_html/esercizi/em.xml
New exercises.
[logicplayer.git] / public_html / esercizi / em.xml
1 <esercizio>
2         <ipotesi>
3         </ipotesi>
4         <tesi>
5                 <formula type="or">
6                         <formula type="literal">A</formula>
7                         <formula type="not">
8                                 <formula type="literal">A</formula>
9                         </formula>
10                 </formula>
11         </tesi>
12         <valutazione>
13                 <click>7</click>
14                 <tempo>60</tempo>
15                 <altezza>12</altezza>
16         </valutazione>
17 </esercizio>