public_html/esercizi/ex1-1.xml

   1 <esercizio>
   2         <ipotesi>
   3         </ipotesi>
   4         <tesi>
   5                 <formula type="impl">
   6                         <formula type="literal">A</formula>
   7                         <formula type="or">
   8                                 <formula type="literal">A</formula>
   9                                 <formula type="and">
  10                                         <formula type="literal">A</formula>
  11                                         <formula type="literal">B</formula>
  12                                 </formula>
  13                         </formula>
  14                 </formula>
  15         </tesi>
  16         <valutazione>
  17                 <click>3</click>
  18                 <tempo>20</tempo>
  19                 <altezza>3</altezza>
  20         </valutazione>
  21 </esercizio>