Server/webApp/esercizi/tautologia.xml

   1 <esercizio>
   2         <ipotesi>
   3         </ipotesi>
   4         <tesi>
   5                 <formula type="impl">
   6                         <formula type="literal">A</formula>
   7                         <formula type="literal">A</formula>
   8                 </formula>
   9         </tesi>
  10         <valutazione>
  11                 <click>13</click>
  12                 <tempo>60</tempo>
  13                 <altezza>5</altezza>
  14         </valutazione>
  15 </esercizio>