]> matita.cs.unibo.it Git - logicplayer.git/blob - public_html/esercizi/ex2-5.xml
New exercises.
[logicplayer.git] / public_html / esercizi / ex2-5.xml
1 <esercizio>
2         <ipotesi>
3         </ipotesi>
4         <tesi>
5                 <formula type="impl">
6                         <formula type="or">
7                                 <formula type="not">
8                                         <formula type="literal">A</formula>
9                                 </formula>
10                                 <formula type="not">
11                                         <formula type="literal">B</formula>
12                                 </formula>
13                         </formula>
14                         <formula type="not">
15                                 <formula type="and">
16                                         <formula type="literal">A</formula>
17                                         <formula type="literal">B</formula>
18                                 </formula>
19                         </formula>
20                 </formula>
21         </tesi>
22         <valutazione>
23                 <click>8</click>
24                 <tempo>90</tempo>
25                 <altezza>12</altezza>
26         </valutazione>
27 </esercizio>