-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtp.dat
59 lines (54 loc) · 4.16 KB
/
tp.dat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
data;
set BINARIAS := a b c d e f g h i j notA notB notC notD notE notF notG notH notI notJ;
set RELACIONES := relA relB relC relD relE relF relG relH relI relJ;
set CONDICIONES := condicion1 condicion2 condicion3 condicion4 condicion5 condicion6 condicion7 condicion8 condicion9 condicion10 condicion11 condicion12 condicion13 condicion14 condicion15 condicion16 condicion17 condicion18 condicion19 condicion20 condicion21 condicion22 condicion23 condicion24 condicion25 condicion26 condicion27 condicion28 condicion29 condicion30 condicion31 condicion32 condicion33 condicion34 condicion35 condicion36 condicion37;
param TABLA_VERDAD : a b c d e f g h i j notA notB notC notD notE notF notG notH notI notJ :=
condicion1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0
condicion2 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0
condicion3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
condicion4 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0
condicion5 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0
condicion6 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0
condicion7 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0
condicion8 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0
condicion9 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1
condicion10 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0
condicion11 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1
condicion12 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
condicion13 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0
condicion14 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0
condicion15 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0
condicion16 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0
condicion17 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
condicion18 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
condicion19 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0
condicion20 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
condicion21 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0
condicion22 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
condicion23 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1
condicion24 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0
condicion25 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0
condicion26 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0
condicion27 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
condicion28 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0
condicion29 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
condicion30 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0
condicion31 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0
condicion32 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0
condicion33 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0
condicion34 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0
condicion35 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0
condicion36 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
condicion37 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0;
param TABLA_RELACION_NEGADA : a b c d e f g h i j notA notB notC notD notE notF notG notH notI notJ :=
relA 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
relB 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
relC 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
relD 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
relE 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
relF 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0
relG 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0
relH 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0
relI 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0
relJ 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1;
end;