public_html/esercizi/demorgan3.xml

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