Server/webApp/esercizi/aalbero.xml

   1 <esercizio>
   2     <ipotesi>
   3     </ipotesi>
   4     <tesi>
   5         <formula type="or">
   6             <formula type="and">
   7                 <formula type="literal">a</formula>
   8                 <formula type="literal">b</formula>
   9             </formula>
  10             <formula type="and">
  11                 <formula type="literal">c</formula>
  12                 <formula type="literal">d</formula>
  13             </formula>
  14         </formula>
  15     </tesi>
  16 </esercizio>