public_html/esercizi/ex1-7.xml

   1 <esercizio>
   2         <ipotesi>
   3         </ipotesi>
   4         <tesi>
   5                 <formula type="impl">
   6                         <formula type="impl">
   7                                 <formula type="and">
   8                                         <formula type="literal">C</formula>
   9                                         <formula type="literal">G</formula>
  10                                 </formula>
  11                                 <formula type="literal">E</formula>
  12                         </formula>
  13                         <formula type="impl">
  14                                 <formula type="impl">
  15                                         <formula type="not">
  16                                                 <formula type="literal">L</formula>
  17                                         </formula>
  18                                         <formula type="or">
  19                                                 <formula type="literal">E</formula>
  20                                                 <formula type="literal">C</formula>
  21                                         </formula>
  22                                 </formula>
  23                                 <formula type="impl">
  24                                         <formula type="or">
  25                                                 <formula type="literal">G</formula>
  26                                                 <formula type="literal">L</formula>
  27                                         </formula>
  28                                         <formula type="impl">
  29                                                 <formula type="not">
  30                                                         <formula type="literal">L</formula>
  31                                                 </formula>
  32                                                 <formula type="literal">E</formula>
  33                                         </formula>
  34                                 </formula>
  35                         </formula>
  36                 </formula>
  37         </tesi>
  38         <valutazione>
  39                 <click>14</click>
  40                 <tempo>240</tempo>
  41                 <altezza>20</altezza>
  42         </valutazione>
  43 </esercizio>