]> matita.cs.unibo.it Git - logicplayer.git/blob - public_html/esercizi/ex2-7.xml
New exercises.
[logicplayer.git] / public_html / esercizi / ex2-7.xml
1 <esercizio>
2         <ipotesi>
3         </ipotesi>
4         <tesi>
5                 <formula type="impl">
6                         <formula type="impl">
7                                 <formula type="literal">F</formula>
8                                 <formula type="or">
9                                         <formula type="literal">G</formula>
10                                         <formula type="literal">E</formula>
11                                 </formula>
12                         </formula>
13                         <formula type="impl">
14                                 <formula type="impl">
15                                         <formula type="literal">G</formula>
16                                         <formula type="or">
17                                                 <formula type="not">
18                                                         <formula type="literal">L</formula>
19                                                 </formula>
20                                                 <formula type="literal">E</formula>
21                                         </formula>
22                                 </formula>
23                                 <formula type="impl">
24                                         <formula type="impl">
25                                                 <formula type="literal">L</formula>
26                                                 <formula type="literal">F</formula>
27                                         </formula>
28                                         <formula type="impl">
29                                                 <formula type="literal">L</formula>
30                                                 <formula type="literal">E</formula>
31                                         </formula>
32                                 </formula>
33                         </formula>
34                 </formula>
35         </tesi>
36         <valutazione>
37                 <click>14</click>
38                 <tempo>240</tempo>
39                 <altezza>20</altezza>
40         </valutazione>
41 </esercizio>