Server/webApp/esercizi/risolvibile.xml

   1 <esercizio>
   2         <ipotesi>
   3                 <formula type="impl">
   4                         <formula type="and">
   5                                 <formula type="literal">A</formula>
   6                                 <formula type="not">
   7                                         <formula type="literal">B</formula>
   8                                 </formula>
   9                         </formula>
  10                         <formula type="literal">R</formula>
  11                 </formula>
  12                 <formula type="impl">
  13                         <formula type="or">
  14                                 <formula type="literal">A</formula>
  15                                 <formula type="literal">B</formula>
  16                         </formula>
  17                         <formula type="not">
  18                                 <formula type="literal">R</formula>
  19                         </formula>
  20                 </formula>
  21                 <formula type="not">
  22                         <formula type="not">
  23                                 <formula type="literal">A</formula>
  24                         </formula>
  25                 </formula>
  26         </ipotesi>
  27         <tesi>
  28                 <formula type="literal">B</formula>
  29         </tesi>
  30         <valutazione>
  31                 <click>13</click>
  32                 <tempo>60</tempo>
  33                 <altezza>5</altezza>
  34         </valutazione>
  35 </esercizio>