85:@0.911172:0.510692:0.930079:0.510692:0.930079:0.494068:0.911172:0.494068:0.000000:0.000000
2. :@0.120241:0.801634:0.138982:0.801634:0.138982:0.784498:0.120241:0.784498:0.000000:0.000000:0.000000
Completa :@0.153485:0.801634:0.232410:0.801634:0.232410:0.785010:0.153485:0.785010:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
las siguientes tablas escribiendo los valores de verdad correspondiente a cada operación.:@0.232410:0.801634:0.884520:0.801634:0.884520:0.785245:0.232410:0.785245:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Actividad resuelta:@0.121079:0.303237:0.278201:0.303237:0.278201:0.284800:0.121079:0.284800:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Completamos:@0.121079:0.323084:0.228880:0.323084:0.228880:0.306460:0.121079:0.306460:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la tabla con las operaciones lógicas.:@0.228880:0.323084:0.493092:0.323084:0.493092:0.306695:0.228880:0.306695:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Condicional:@0.291199:0.172670:0.377491:0.172670:0.377491:0.157306:0.291199:0.157306:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.237793:0.193101:0.246923:0.193101:0.246923:0.178869:0.237793:0.178869:0.000000
q:@0.329780:0.193101:0.338910:0.193101:0.338910:0.178869:0.329780:0.178869:0.000000
p   q:@0.405870:0.193101:0.446796:0.193101:0.446796:0.178869:0.405870:0.178869:0.000000:0.000000:0.000000:0.000000:0.000000
→:@0.418065:0.193717:0.434600:0.193717:0.434600:0.179560:0.418065:0.179560:0.000000
V:@0.238094:0.213532:0.246621:0.213532:0.246621:0.198633:0.238094:0.198633:0.000000
V:@0.330082:0.213532:0.338609:0.213532:0.338609:0.198633:0.330082:0.198633:0.000000
V:@0.422069:0.213532:0.430596:0.213532:0.430596:0.198633:0.422069:0.198633:0.000000
V:@0.238094:0.233134:0.246621:0.233134:0.246621:0.218235:0.238094:0.218235:0.000000
F:@0.330484:0.233134:0.338223:0.233134:0.338223:0.218235:0.330484:0.218235:0.000000
F:@0.422471:0.233134:0.430211:0.233134:0.430211:0.218235:0.422471:0.218235:0.000000
F:@0.238496:0.252735:0.246236:0.252735:0.246236:0.237836:0.238496:0.237836:0.000000
V:@0.330098:0.252735:0.338625:0.252735:0.338625:0.237836:0.330098:0.237836:0.000000
V:@0.422086:0.252735:0.430613:0.252735:0.430613:0.237836:0.422086:0.237836:0.000000
F:@0.238496:0.272336:0.246236:0.272336:0.246236:0.257437:0.238496:0.257437:0.000000
F:@0.330484:0.272336:0.338223:0.272336:0.338223:0.257437:0.330484:0.257437:0.000000
V:@0.422086:0.272336:0.430613:0.272336:0.430613:0.257437:0.422086:0.257437:0.000000
Bicondicional:@0.622515:0.172670:0.720533:0.172670:0.720533:0.157306:0.622515:0.157306:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.574972:0.193101:0.584102:0.193101:0.584102:0.178869:0.574972:0.178869:0.000000
q:@0.666959:0.193101:0.676089:0.193101:0.676089:0.178869:0.666959:0.178869:0.000000
p :@0.742596:0.193101:0.754792:0.193101:0.754792:0.178869:0.742596:0.178869:0.000000:0.000000
↔:@0.754792:0.193717:0.772248:0.193717:0.772248:0.179560:0.754792:0.179560:0.000000
 q:@0.772248:0.193101:0.784444:0.193101:0.784444:0.178869:0.772248:0.178869:0.000000:0.000000
V:@0.575273:0.213532:0.583800:0.213532:0.583800:0.198633:0.575273:0.198633:0.000000
V:@0.667261:0.213532:0.675788:0.213532:0.675788:0.198633:0.667261:0.198633:0.000000
V:@0.759248:0.213532:0.767775:0.213532:0.767775:0.198633:0.759248:0.198633:0.000000
V:@0.575273:0.233134:0.583800:0.233134:0.583800:0.218235:0.575273:0.218235:0.000000
F:@0.667663:0.233134:0.675402:0.233134:0.675402:0.218235:0.667663:0.218235:0.000000
F:@0.759650:0.233134:0.767390:0.233134:0.767390:0.218235:0.759650:0.218235:0.000000
F:@0.575675:0.252735:0.583415:0.252735:0.583415:0.237836:0.575675:0.237836:0.000000
V:@0.667277:0.252735:0.675804:0.252735:0.675804:0.237836:0.667277:0.237836:0.000000
F:@0.759667:0.252735:0.767406:0.252735:0.767406:0.237836:0.759667:0.237836:0.000000
F:@0.575692:0.272336:0.583432:0.272336:0.583432:0.257437:0.575692:0.257437:0.000000
F:@0.667679:0.272336:0.675419:0.272336:0.675419:0.257437:0.667679:0.257437:0.000000
V:@0.759281:0.272336:0.767808:0.272336:0.767808:0.257437:0.759281:0.257437:0.000000
p:@0.198054:0.350725:0.207184:0.350725:0.207184:0.336493:0.198054:0.336493:0.000000
q:@0.281934:0.350725:0.291064:0.350725:0.291064:0.336493:0.281934:0.336493:0.000000
∼:@0.361223:0.351341:0.370420:0.351341:0.370420:0.337184:0.361223:0.337184:0.000000
p:@0.370420:0.350725:0.379550:0.350725:0.379550:0.336493:0.370420:0.336493:0.000000
∼:@0.445102:0.351341:0.454299:0.351341:0.454299:0.337184:0.445102:0.337184:0.000000
q:@0.454299:0.350725:0.463429:0.350725:0.463429:0.336493:0.454299:0.336493:0.000000
(:@0.509046:0.350725:0.514088:0.350725:0.514088:0.335361:0.509046:0.335361:0.000000
∼ →:@0.514088:0.351341:0.552016:0.351341:0.552016:0.337184:0.514088:0.337184:0.000000:0.000000:0.000000
p   q:@0.523285:0.350725:0.564212:0.350725:0.564212:0.336493:0.523285:0.336493:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.564212:0.350725:0.569254:0.350725:0.569254:0.335361:0.564212:0.335361:0.000000
(:@0.592540:0.350725:0.597582:0.350725:0.597582:0.335361:0.592540:0.335361:0.000000
∼ ∧ ∼:@0.597582:0.351341:0.641340:0.351341:0.641340:0.337184:0.597582:0.337184:0.000000:0.000000:0.000000:0.000000:0.000000
p    q:@0.606779:0.350725:0.650470:0.350725:0.650470:0.336493:0.606779:0.336493:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.650470:0.350725:0.655512:0.350725:0.655512:0.335361:0.650470:0.335361:0.000000
∼:@0.679418:0.351341:0.688615:0.351341:0.688615:0.337184:0.679418:0.337184:0.000000
(:@0.688615:0.350725:0.693657:0.350725:0.693657:0.335361:0.688615:0.335361:0.000000
p :@0.693657:0.350725:0.705853:0.350725:0.705853:0.336493:0.693657:0.336493:0.000000:0.000000
↔:@0.705853:0.351341:0.723309:0.351341:0.723309:0.337184:0.705853:0.337184:0.000000
 q:@0.723309:0.350725:0.735505:0.350725:0.735505:0.336493:0.723309:0.336493:0.000000:0.000000
):@0.735505:0.350725:0.740547:0.350725:0.740547:0.335361:0.735505:0.335361:0.000000
q  p   q:@0.765458:0.350725:0.827291:0.350725:0.827291:0.336493:0.765458:0.336493:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.777654:0.351341:0.787756:0.351341:0.787756:0.337184:0.777654:0.337184:0.000000
(:@0.787756:0.350725:0.792798:0.350725:0.792798:0.335361:0.787756:0.335361:0.000000
∧:@0.804994:0.351341:0.815095:0.351341:0.815095:0.337184:0.804994:0.337184:0.000000
):@0.827291:0.350725:0.832334:0.350725:0.832334:0.335361:0.827291:0.335361:0.000000
V:@0.198356:0.370918:0.206883:0.370918:0.206883:0.356019:0.198356:0.356019:0.000000
V:@0.282235:0.370918:0.290762:0.370918:0.290762:0.356019:0.282235:0.356019:0.000000
F:@0.366516:0.370918:0.374256:0.370918:0.374256:0.356019:0.366516:0.356019:0.000000
F:@0.450396:0.370918:0.458135:0.370918:0.458135:0.356019:0.450396:0.356019:0.000000
V:@0.534878:0.370918:0.543405:0.370918:0.543405:0.356019:0.534878:0.356019:0.000000
F:@0.620148:0.370918:0.627887:0.370918:0.627887:0.356019:0.620148:0.356019:0.000000
F:@0.706104:0.370918:0.713844:0.370918:0.713844:0.356019:0.706104:0.356019:0.000000
V:@0.794624:0.370918:0.803151:0.370918:0.803151:0.356019:0.794624:0.356019:0.000000
V:@0.198356:0.391110:0.206883:0.391110:0.206883:0.376211:0.198356:0.376211:0.000000
F:@0.282637:0.391110:0.290377:0.391110:0.290377:0.376211:0.282637:0.376211:0.000000
F:@0.366516:0.391110:0.374256:0.391110:0.374256:0.376211:0.366516:0.376211:0.000000
V:@0.450010:0.391110:0.458537:0.391110:0.458537:0.376211:0.450010:0.376211:0.000000
V:@0.534878:0.391110:0.543405:0.391110:0.543405:0.376211:0.534878:0.376211:0.000000
F:@0.620148:0.391110:0.627887:0.391110:0.627887:0.376211:0.620148:0.376211:0.000000
V:@0.705702:0.391110:0.714229:0.391110:0.714229:0.376211:0.705702:0.376211:0.000000
F:@0.795009:0.391110:0.802749:0.391110:0.802749:0.376211:0.795009:0.376211:0.000000
F:@0.198741:0.411302:0.206481:0.411302:0.206481:0.396403:0.198741:0.396403:0.000000
V:@0.282235:0.411302:0.290762:0.411302:0.290762:0.396403:0.282235:0.396403:0.000000
V:@0.366114:0.411302:0.374641:0.411302:0.374641:0.396403:0.366114:0.396403:0.000000
F:@0.450396:0.411302:0.458135:0.411302:0.458135:0.396403:0.450396:0.396403:0.000000
V:@0.534878:0.411302:0.543405:0.411302:0.543405:0.396403:0.534878:0.396403:0.000000
F:@0.620148:0.411302:0.627887:0.411302:0.627887:0.396403:0.620148:0.396403:0.000000
V:@0.705702:0.411302:0.714229:0.411302:0.714229:0.396403:0.705702:0.396403:0.000000
V:@0.794607:0.411302:0.803134:0.411302:0.803134:0.396403:0.794607:0.396403:0.000000
F:@0.198724:0.431494:0.206464:0.431494:0.206464:0.416595:0.198724:0.416595:0.000000
F:@0.282604:0.431494:0.290343:0.431494:0.290343:0.416595:0.282604:0.416595:0.000000
V:@0.366098:0.431494:0.374625:0.431494:0.374625:0.416595:0.366098:0.416595:0.000000
V:@0.449977:0.431494:0.458504:0.431494:0.458504:0.416595:0.449977:0.416595:0.000000
F:@0.535247:0.431494:0.542986:0.431494:0.542986:0.416595:0.535247:0.416595:0.000000
V:@0.619729:0.431494:0.628256:0.431494:0.628256:0.416595:0.619729:0.416595:0.000000
F:@0.706071:0.431494:0.713810:0.431494:0.713810:0.416595:0.706071:0.416595:0.000000
F:@0.794976:0.431494:0.802715:0.431494:0.802715:0.416595:0.794976:0.416595:0.000000
Bicondicional.:@0.119964:0.100407:0.231947:0.100407:0.231947:0.083506:0.119964:0.083506:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 Es la operación lógica en la que dos proposiciones se relacionan mediante el término ló-:@0.231947:0.100407:0.884508:0.100407:0.884508:0.084018:0.231947:0.084018:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
gico “si y solo si”, simbolizado por el operador :@0.119964:0.117003:0.450792:0.117003:0.450792:0.100614:0.119964:0.100614:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
↔:@0.450501:0.117681:0.469702:0.117681:0.469702:0.102108:0.450501:0.102108:0.000000
. Para dos proposiciones   si y solo si  , (  :@0.469702:0.117003:0.771335:0.117003:0.771335:0.100614:0.469702:0.100614:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.648948:0.117003:0.658217:0.117003:0.658217:0.100642:0.648948:0.100642:0.000000
q p:@0.736922:0.117003:0.767299:0.117003:0.767299:0.100642:0.736922:0.100642:0.000000:0.000000:0.000000
↔:@0.771050:0.117681:0.790251:0.117681:0.790251:0.102108:0.771050:0.102108:0.000000
  ) =  , (falso)  :@0.790251:0.117003:0.888572:0.117003:0.888572:0.100614:0.790251:0.100614:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q   F:@0.794010:0.117003:0.834035:0.117003:0.834035:0.100642:0.794010:0.100642:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.884536:0.117003:0.888572:0.117003:0.888572:0.100614:0.884536:0.100614:0.000000
si la primera proposición es verdadera y la segunda falsa, o la primera falsa y la segunda verdadera, dando :@0.120001:0.133600:0.888544:0.133600:0.888544:0.117211:0.120001:0.117211:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
verdadero para las otras combinaciones.:@0.120001:0.150196:0.414508:0.150196:0.414508:0.133807:0.120001:0.133807:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1. :@0.120278:0.546241:0.139019:0.546241:0.139019:0.529105:0.120278:0.529105:0.000000:0.000000:0.000000
Dadas las proposiciones simples con sus valores de verdad, :@0.153521:0.546241:0.608223:0.546241:0.608223:0.529852:0.153521:0.529852:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
determina :@0.610582:0.546241:0.694225:0.546241:0.694225:0.529617:0.610582:0.529617:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
el valor de verdad de las :@0.696473:0.546241:0.889024:0.546241:0.889024:0.529852:0.696473:0.529852:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposiciones compuestas.:@0.153521:0.562837:0.353845:0.562837:0.353845:0.546448:0.153521:0.546448:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Taller:@0.180876:0.505000:0.241771:0.505000:0.241771:0.471053:0.180876:0.471053:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Determina el valor de verdad de proposiciones simples y utiliza conectivos y operaciones lógicos para hallar el valor de verdad de :@0.261898:0.487746:0.882508:0.487746:0.882508:0.477317:0.261898:0.477317:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposiciones compuestas. (Ref. I.M.4.4.1.):@0.261898:0.498307:0.456124:0.498307:0.456124:0.487878:0.261898:0.487878:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a):@0.155178:0.594683:0.170086:0.594683:0.170086:0.577783:0.155178:0.577783:0.000000:0.000000
∨:@0.188532:0.595361:0.199644:0.595361:0.199644:0.579788:0.188532:0.579788:0.000000
( ) = V;   ( ) = V:@0.199644:0.594683:0.315462:0.594683:0.315462:0.578294:0.199644:0.578294:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.594683:0.213797:0.594683:0.213797:0.578322:0.204528:0.578322:0.000000
∨:@0.257525:0.595361:0.268637:0.595361:0.268637:0.579788:0.257525:0.579788:0.000000
q:@0.273521:0.594683:0.282790:0.594683:0.282790:0.578322:0.273521:0.578322:0.000000
(     ) =:@0.356058:0.596523:0.418565:0.596523:0.418565:0.580134:0.356058:0.580134:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.360941:0.596523:0.370210:0.596523:0.370210:0.580161:0.360941:0.580161:0.000000
∧:@0.374246:0.597200:0.385358:0.597200:0.385358:0.581627:0.374246:0.581627:0.000000
q:@0.389394:0.596523:0.398663:0.596523:0.398663:0.580161:0.389394:0.580161:0.000000
  :@0.418566:0.596207:0.424597:0.596207:0.424597:0.581333:0.418566:0.581333:0.000000:0.000000
[ (    :@0.567562:0.596521:0.617224:0.596521:0.617224:0.580133:0.567562:0.580133:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
:@0.572630:0.597061:0.583889:0.597061:0.583889:0.581930:0.572630:0.581930:0.000000
p:@0.588772:0.596521:0.598041:0.596521:0.598041:0.580160:0.588772:0.580160:0.000000
∨:@0.602077:0.597199:0.613189:0.597199:0.613189:0.581626:0.602077:0.581626:0.000000
:@0.617224:0.597061:0.628484:0.597061:0.628484:0.581930:0.617224:0.581930:0.000000
q:@0.628484:0.596521:0.637753:0.596521:0.637753:0.580160:0.628484:0.580160:0.000000
)] =:@0.637753:0.596521:0.662907:0.596521:0.662907:0.580133:0.637753:0.580133:0.000000:0.000000:0.000000:0.000000
  :@0.662907:0.596207:0.668937:0.596207:0.668937:0.581333:0.662907:0.581333:0.000000:0.000000
b):@0.155178:0.618789:0.171395:0.618789:0.171395:0.601889:0.155178:0.601889:0.000000:0.000000
∨:@0.188532:0.619467:0.199644:0.619467:0.199644:0.603894:0.188532:0.603894:0.000000
( ) = V;   ( ) = F:@0.199644:0.618789:0.315241:0.618789:0.315241:0.602401:0.199644:0.602401:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.618789:0.213797:0.618789:0.213797:0.602428:0.204528:0.602428:0.000000
∨:@0.257525:0.619467:0.268637:0.619467:0.268637:0.603894:0.257525:0.603894:0.000000
q:@0.273521:0.618789:0.282790:0.618789:0.282790:0.602428:0.273521:0.602428:0.000000
(     ) = :@0.356058:0.620629:0.422600:0.620629:0.422600:0.604240:0.356058:0.604240:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.360941:0.620629:0.370210:0.620629:0.370210:0.604268:0.360941:0.604268:0.000000
∨:@0.374246:0.621307:0.385358:0.621307:0.385358:0.605734:0.374246:0.605734:0.000000
q:@0.389394:0.620629:0.398663:0.620629:0.398663:0.604268:0.389394:0.604268:0.000000
(:@0.567378:0.620628:0.572261:0.620628:0.572261:0.604239:0.567378:0.604239:0.000000
:@0.572261:0.621167:0.583520:0.621167:0.583520:0.606037:0.572261:0.606037:0.000000
p:@0.583520:0.620628:0.592789:0.620628:0.592789:0.604266:0.583520:0.604266:0.000000
    ) =:@0.592789:0.620628:0.641144:0.620628:0.641144:0.604239:0.592789:0.604239:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.596825:0.621305:0.607937:0.621305:0.607937:0.605732:0.596825:0.605732:0.000000
q:@0.611973:0.620628:0.621242:0.620628:0.621242:0.604266:0.611973:0.604266:0.000000
  :@0.641144:0.620313:0.647174:0.620313:0.647174:0.605439:0.641144:0.605439:0.000000:0.000000
c):@0.155178:0.642897:0.168999:0.642897:0.168999:0.625996:0.155178:0.625996:0.000000:0.000000
∨:@0.188532:0.643575:0.199644:0.643575:0.199644:0.628002:0.188532:0.628002:0.000000
( ) = F;   ( ) = F:@0.199644:0.642897:0.315056:0.642897:0.315056:0.626508:0.199644:0.626508:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.642897:0.213797:0.642897:0.213797:0.626536:0.204528:0.626536:0.000000
∨:@0.257341:0.643575:0.268453:0.643575:0.268453:0.628002:0.257341:0.628002:0.000000
q:@0.273336:0.642897:0.282605:0.642897:0.282605:0.626536:0.273336:0.626536:0.000000
(     ) = :@0.356058:0.644736:0.429676:0.644736:0.429676:0.628347:0.356058:0.628347:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.360941:0.644736:0.370210:0.644736:0.370210:0.628375:0.360941:0.628375:0.000000
→:@0.374246:0.645414:0.392434:0.645414:0.392434:0.629841:0.374246:0.629841:0.000000
q:@0.396470:0.644736:0.405739:0.644736:0.405739:0.628375:0.396470:0.628375:0.000000
(    :@0.567378:0.644734:0.600713:0.644734:0.600713:0.628345:0.567378:0.628345:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.572261:0.644734:0.581530:0.644734:0.581530:0.628373:0.572261:0.628373:0.000000
∧:@0.585566:0.645412:0.596678:0.645412:0.596678:0.629839:0.585566:0.629839:0.000000
:@0.600713:0.645273:0.611973:0.645273:0.611973:0.630143:0.600713:0.630143:0.000000
q:@0.611973:0.644734:0.621242:0.644734:0.621242:0.628373:0.611973:0.628373:0.000000
) =:@0.621242:0.644734:0.641144:0.644734:0.641144:0.628345:0.621242:0.628345:0.000000:0.000000:0.000000
  :@0.641144:0.644420:0.647174:0.644420:0.647174:0.629546:0.641144:0.629546:0.000000:0.000000
d):@0.155178:0.667003:0.171431:0.667003:0.171431:0.650103:0.155178:0.650103:0.000000:0.000000
∨:@0.188532:0.667681:0.199644:0.667681:0.199644:0.652108:0.188532:0.652108:0.000000
( ) = F;   ( ) = F:@0.199644:0.667003:0.315056:0.667003:0.315056:0.650614:0.199644:0.650614:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.667003:0.213797:0.667003:0.213797:0.650642:0.204528:0.650642:0.000000
∨:@0.257341:0.667681:0.268453:0.667681:0.268453:0.652108:0.257341:0.652108:0.000000
q:@0.273336:0.667003:0.282605:0.667003:0.282605:0.650642:0.273336:0.650642:0.000000
(  :@0.356058:0.668843:0.374246:0.668843:0.374246:0.652454:0.356058:0.652454:0.000000:0.000000:0.000000
p:@0.360941:0.668843:0.370210:0.668843:0.370210:0.652481:0.360941:0.652481:0.000000
↔:@0.374246:0.669520:0.393448:0.669520:0.393448:0.653947:0.374246:0.653947:0.000000
  ) =:@0.393448:0.668843:0.426654:0.668843:0.426654:0.652454:0.393448:0.652454:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.397483:0.668843:0.406752:0.668843:0.406752:0.652481:0.397483:0.652481:0.000000
  :@0.426656:0.668527:0.432687:0.668527:0.432687:0.653653:0.426656:0.653653:0.000000:0.000000
[ (     )] =:@0.567562:0.668841:0.658724:0.668841:0.658724:0.652452:0.567562:0.652452:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
:@0.572630:0.669381:0.583889:0.669381:0.583889:0.654250:0.572630:0.654250:0.000000
p:@0.588772:0.668841:0.598041:0.668841:0.598041:0.652480:0.588772:0.652480:0.000000
→:@0.602077:0.669519:0.620265:0.669519:0.620265:0.653946:0.602077:0.653946:0.000000
q:@0.624301:0.668841:0.633570:0.668841:0.633570:0.652480:0.624301:0.652480:0.000000
  :@0.658718:0.668527:0.664749:0.668527:0.664749:0.653653:0.658718:0.653653:0.000000:0.000000
e):@0.155178:0.691109:0.170234:0.691109:0.170234:0.674209:0.155178:0.674209:0.000000:0.000000
∨:@0.188532:0.691787:0.199644:0.691787:0.199644:0.676214:0.188532:0.676214:0.000000
( ) = F;   ( ) = V:@0.199644:0.691109:0.315278:0.691109:0.315278:0.674721:0.199644:0.674721:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.691109:0.213797:0.691109:0.213797:0.674748:0.204528:0.674748:0.000000
∨:@0.257341:0.691787:0.268453:0.691787:0.268453:0.676214:0.257341:0.676214:0.000000
q:@0.273336:0.691109:0.282605:0.691109:0.282605:0.674748:0.273336:0.674748:0.000000
(:@0.356058:0.692949:0.360941:0.692949:0.360941:0.676560:0.356058:0.676560:0.000000
:@0.360941:0.693488:0.372201:0.693488:0.372201:0.678358:0.360941:0.678358:0.000000
p:@0.372201:0.692949:0.381470:0.692949:0.381470:0.676588:0.372201:0.676588:0.000000
   :@0.381470:0.692949:0.400653:0.692949:0.400653:0.676560:0.381470:0.676560:0.000000:0.000000:0.000000
∧:@0.385505:0.693627:0.396617:0.693627:0.396617:0.678054:0.385505:0.678054:0.000000
:@0.400653:0.693488:0.411912:0.693488:0.411912:0.678358:0.400653:0.678358:0.000000
q:@0.411912:0.692949:0.421181:0.692949:0.421181:0.676588:0.411912:0.676588:0.000000
) =:@0.421181:0.692949:0.441083:0.692949:0.441083:0.676560:0.421181:0.676560:0.000000:0.000000:0.000000
  :@0.441085:0.692633:0.447116:0.692633:0.447116:0.677759:0.441085:0.677759:0.000000:0.000000
[ (:@0.567562:0.692948:0.588772:0.692948:0.588772:0.676559:0.567562:0.676559:0.000000:0.000000:0.000000
  :@0.572630:0.693487:0.604638:0.693487:0.604638:0.678357:0.572630:0.678357:0.000000:0.000000:0.000000:0.000000
p:@0.604638:0.692948:0.613908:0.692948:0.613908:0.676586:0.604638:0.676586:0.000000
    )] =:@0.613908:0.692948:0.667514:0.692948:0.667514:0.676559:0.613908:0.676559:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.617943:0.693625:0.629055:0.693625:0.629055:0.678052:0.617943:0.678052:0.000000
q:@0.633091:0.692948:0.642360:0.692948:0.642360:0.676586:0.633091:0.676586:0.000000
  :@0.667514:0.692633:0.673544:0.692633:0.673544:0.677759:0.667514:0.677759:0.000000:0.000000
f):@0.155178:0.715216:0.168188:0.715216:0.168188:0.698315:0.155178:0.698315:0.000000:0.000000
∨:@0.188532:0.715893:0.199644:0.715893:0.199644:0.700320:0.188532:0.700320:0.000000
( ) = V;   ( ) = F:@0.199644:0.715216:0.315241:0.715216:0.315241:0.698827:0.199644:0.698827:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.715216:0.213797:0.715216:0.213797:0.698854:0.204528:0.698854:0.000000
∨:@0.257525:0.715893:0.268637:0.715893:0.268637:0.700320:0.257525:0.700320:0.000000
q:@0.273521:0.715216:0.282790:0.715216:0.282790:0.698854:0.273521:0.698854:0.000000
(    :@0.356058:0.717055:0.396470:0.717055:0.396470:0.700666:0.356058:0.700666:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.360941:0.717055:0.370210:0.717055:0.370210:0.700694:0.360941:0.700694:0.000000
→:@0.374246:0.717733:0.392434:0.717733:0.392434:0.702160:0.374246:0.702160:0.000000
:@0.396470:0.717594:0.407729:0.717594:0.407729:0.702464:0.396470:0.702464:0.000000
q:@0.407729:0.717055:0.416998:0.717055:0.416998:0.700694:0.407729:0.700694:0.000000
) =:@0.416998:0.717055:0.436900:0.717055:0.436900:0.700666:0.416998:0.700666:0.000000:0.000000:0.000000
  :@0.436898:0.716740:0.442929:0.716740:0.442929:0.701866:0.436898:0.701866:0.000000:0.000000
[   (     )] =:@0.567562:0.717054:0.664805:0.717054:0.664805:0.700665:0.567562:0.700665:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.572630:0.717054:0.581899:0.717054:0.581899:0.700693:0.572630:0.700693:0.000000
∨ ∧:@0.585934:0.717732:0.626346:0.717732:0.626346:0.702159:0.585934:0.702159:0.000000:0.000000:0.000000
p:@0.601930:0.717054:0.611199:0.717054:0.611199:0.700693:0.601930:0.700693:0.000000
q:@0.630382:0.717054:0.639651:0.717054:0.639651:0.700693:0.630382:0.700693:0.000000
  :@0.664805:0.716740:0.670836:0.716740:0.670836:0.701866:0.664805:0.701866:0.000000:0.000000
 :@0.735483:0.716740:0.738498:0.716740:0.738498:0.701866:0.735483:0.701866:0.000000
g):@0.155178:0.739323:0.171284:0.739323:0.171284:0.722423:0.155178:0.722423:0.000000:0.000000
∨:@0.188532:0.740001:0.199644:0.740001:0.199644:0.724428:0.188532:0.724428:0.000000
( ) = V;   ( ) = V:@0.199644:0.739323:0.315462:0.739323:0.315462:0.722934:0.199644:0.722934:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.739323:0.213797:0.739323:0.213797:0.722962:0.204528:0.722962:0.000000
∨:@0.257525:0.740001:0.268637:0.740001:0.268637:0.724428:0.257525:0.724428:0.000000
q:@0.273521:0.739323:0.282790:0.739323:0.282790:0.722962:0.273521:0.722962:0.000000
[ (  :@0.356242:0.741163:0.390757:0.741163:0.390757:0.724774:0.356242:0.724774:0.000000:0.000000:0.000000:0.000000:0.000000
:@0.361310:0.741702:0.372569:0.741702:0.372569:0.726572:0.361310:0.726572:0.000000
p:@0.377452:0.741163:0.386722:0.741163:0.386722:0.724801:0.377452:0.724801:0.000000
↔:@0.390757:0.741840:0.409959:0.741840:0.409959:0.726267:0.390757:0.726267:0.000000
  )] =:@0.409959:0.741163:0.448417:0.741163:0.448417:0.724774:0.409959:0.724774:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.413994:0.741163:0.423264:0.741163:0.423264:0.724801:0.413994:0.724801:0.000000
  :@0.448419:0.740846:0.454450:0.740846:0.454450:0.725972:0.448419:0.725972:0.000000:0.000000
[   (     )] =:@0.567562:0.741160:0.674166:0.741160:0.674166:0.724771:0.567562:0.724771:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.572261:0.741160:0.581530:0.741160:0.581530:0.724799:0.572261:0.724799:0.000000
→ →:@0.584829:0.741838:0.637919:0.741838:0.637919:0.726265:0.584829:0.726265:0.000000:0.000000:0.000000
p:@0.607163:0.741160:0.616432:0.741160:0.616432:0.724799:0.607163:0.724799:0.000000
q:@0.641217:0.741160:0.650486:0.741160:0.650486:0.724799:0.641217:0.724799:0.000000
   :@0.673789:0.740846:0.691010:0.740846:0.691010:0.725972:0.673789:0.725972:0.000000:0.000000:0.000000
 :@0.738498:0.740846:0.741514:0.740846:0.741514:0.725972:0.738498:0.725972:0.000000
h):@0.155178:0.763429:0.171266:0.763429:0.171266:0.746529:0.155178:0.746529:0.000000:0.000000
∨:@0.188532:0.764107:0.199644:0.764107:0.199644:0.748534:0.188532:0.748534:0.000000
( ) = F;   ( ) = V:@0.199644:0.763429:0.315278:0.763429:0.315278:0.747040:0.199644:0.747040:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.204528:0.763429:0.213797:0.763429:0.213797:0.747068:0.204528:0.747068:0.000000
∨:@0.257341:0.764107:0.268453:0.764107:0.268453:0.748534:0.257341:0.748534:0.000000
q:@0.273336:0.763429:0.282605:0.763429:0.282605:0.747068:0.273336:0.747068:0.000000
:@0.356058:0.765808:0.367317:0.765808:0.367317:0.750678:0.356058:0.750678:0.000000
(     ) =:@0.367317:0.765269:0.429824:0.765269:0.429824:0.748880:0.367317:0.748880:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.372201:0.765269:0.381470:0.765269:0.381470:0.748908:0.372201:0.748908:0.000000
∧:@0.385505:0.765947:0.396617:0.765947:0.396617:0.750374:0.385505:0.750374:0.000000
q:@0.400653:0.765269:0.409922:0.765269:0.409922:0.748908:0.400653:0.748908:0.000000
  :@0.429825:0.764952:0.435856:0.764952:0.435856:0.750078:0.429825:0.750078:0.000000:0.000000
[   (     )] =:@0.567562:0.765266:0.664805:0.765266:0.664805:0.748877:0.567562:0.748877:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.572630:0.765266:0.581899:0.765266:0.581899:0.748905:0.572630:0.748905:0.000000
∧ ∨:@0.585934:0.765944:0.626346:0.765944:0.626346:0.750371:0.585934:0.750371:0.000000:0.000000:0.000000
p:@0.601930:0.765266:0.611199:0.765266:0.611199:0.748905:0.601930:0.748905:0.000000
q:@0.630382:0.765266:0.639651:0.765266:0.639651:0.748905:0.630382:0.748905:0.000000
  :@0.664805:0.764952:0.670836:0.764952:0.670836:0.750078:0.664805:0.750078:0.000000:0.000000
p:@0.226445:0.829975:0.235575:0.829975:0.235575:0.815742:0.226445:0.815742:0.000000
q:@0.310324:0.829975:0.319454:0.829975:0.319454:0.815742:0.310324:0.815742:0.000000
∼:@0.389613:0.830591:0.398810:0.830591:0.398810:0.816433:0.389613:0.816433:0.000000
p:@0.398810:0.829975:0.407940:0.829975:0.407940:0.815742:0.398810:0.815742:0.000000
∼:@0.473492:0.830591:0.482689:0.830591:0.482689:0.816433:0.473492:0.816433:0.000000
q:@0.482689:0.829975:0.491819:0.829975:0.491819:0.815742:0.482689:0.815742:0.000000
(:@0.540636:0.829975:0.545678:0.829975:0.545678:0.814610:0.540636:0.814610:0.000000
∼ ∧:@0.545678:0.830591:0.577173:0.830591:0.577173:0.816433:0.545678:0.816433:0.000000:0.000000:0.000000
p   q:@0.554875:0.829975:0.589369:0.829975:0.589369:0.815742:0.554875:0.815742:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.589369:0.829975:0.594411:0.829975:0.594411:0.814610:0.589369:0.814610:0.000000
(:@0.625504:0.829975:0.630546:0.829975:0.630546:0.814610:0.625504:0.814610:0.000000
p    q:@0.630546:0.829975:0.674236:0.829975:0.674236:0.815742:0.630546:0.815742:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ ∼:@0.642742:0.830591:0.665106:0.830591:0.665106:0.816433:0.642742:0.816433:0.000000:0.000000:0.000000
):@0.674236:0.829975:0.679279:0.829975:0.679279:0.814610:0.674236:0.814610:0.000000
∼:@0.711460:0.830591:0.720657:0.830591:0.720657:0.816433:0.711460:0.816433:0.000000
(:@0.720657:0.829975:0.725700:0.829975:0.725700:0.814610:0.720657:0.814610:0.000000
p   q:@0.725700:0.829975:0.760193:0.829975:0.760193:0.815742:0.725700:0.815742:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.737895:0.830591:0.747997:0.830591:0.747997:0.816433:0.737895:0.816433:0.000000
):@0.760193:0.829975:0.765235:0.829975:0.765235:0.814610:0.760193:0.814610:0.000000
p  p   q:@0.799795:0.829975:0.861629:0.829975:0.861629:0.815742:0.799795:0.815742:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.811991:0.830591:0.822093:0.830591:0.822093:0.816433:0.811991:0.816433:0.000000
(:@0.822093:0.829975:0.827135:0.829975:0.827135:0.814610:0.822093:0.814610:0.000000
∨:@0.839331:0.830591:0.849433:0.830591:0.849433:0.816433:0.839331:0.816433:0.000000
):@0.861629:0.829975:0.866671:0.829975:0.866671:0.814610:0.861629:0.814610:0.000000
V:@0.226729:0.850167:0.235256:0.850167:0.235256:0.835268:0.226729:0.835268:0.000000
V:@0.310609:0.850167:0.319136:0.850167:0.319136:0.835268:0.310609:0.835268:0.000000
V:@0.226729:0.870359:0.235256:0.870359:0.235256:0.855460:0.226729:0.855460:0.000000
F:@0.311011:0.870359:0.318750:0.870359:0.318750:0.855460:0.311011:0.855460:0.000000
F:@0.227132:0.890551:0.234871:0.890551:0.234871:0.875652:0.227132:0.875652:0.000000
V:@0.310625:0.890551:0.319152:0.890551:0.319152:0.875652:0.310625:0.875652:0.000000
F:@0.227132:0.910744:0.234871:0.910744:0.234871:0.895845:0.227132:0.895845:0.000000
F:@0.311011:0.910744:0.318750:0.910744:0.318750:0.895845:0.311011:0.895845:0.000000
a) :@0.153483:0.830918:0.172205:0.830918:0.172205:0.814017:0.153483:0.814017:0.000000:0.000000:0.000000
V:@0.495736:0.594886:0.504263:0.594886:0.504263:0.579987:0.495736:0.579987:0.000000
V:@0.495736:0.619277:0.504263:0.619277:0.504263:0.604378:0.495736:0.604378:0.000000
V:@0.495736:0.643669:0.504263:0.643669:0.504263:0.628770:0.495736:0.628770:0.000000
V:@0.495736:0.668061:0.504263:0.668061:0.504263:0.653162:0.495736:0.653162:0.000000
F:@0.496121:0.692452:0.503861:0.692452:0.503861:0.677553:0.496121:0.677553:0.000000
V:@0.495736:0.716844:0.504263:0.716844:0.504263:0.701945:0.495736:0.701945:0.000000
F:@0.496121:0.741236:0.503861:0.741236:0.503861:0.726336:0.496121:0.726336:0.000000
V:@0.495736:0.765627:0.504263:0.765627:0.504263:0.750728:0.495736:0.750728:0.000000
F:@0.708391:0.594886:0.716131:0.594886:0.716131:0.579987:0.708391:0.579987:0.000000
F:@0.708391:0.619277:0.716131:0.619277:0.716131:0.604378:0.708391:0.604378:0.000000
F:@0.708391:0.643669:0.716131:0.643669:0.716131:0.628770:0.708391:0.628770:0.000000
F:@0.708391:0.668061:0.716131:0.668061:0.716131:0.653162:0.708391:0.653162:0.000000
F:@0.708391:0.692452:0.716131:0.692452:0.716131:0.677553:0.708391:0.677553:0.000000
V:@0.708006:0.716844:0.716533:0.716844:0.716533:0.701945:0.708006:0.701945:0.000000
V:@0.708006:0.741236:0.716533:0.741236:0.716533:0.726336:0.708006:0.726336:0.000000
V:@0.708006:0.765627:0.716533:0.765627:0.716533:0.750728:0.708006:0.750728:0.000000
F:@0.396210:0.850231:0.403950:0.850231:0.403950:0.835332:0.396210:0.835332:0.000000
F:@0.396210:0.870348:0.403950:0.870348:0.403950:0.855449:0.396210:0.855449:0.000000
V:@0.395825:0.890465:0.404352:0.890465:0.404352:0.875566:0.395825:0.875566:0.000000
V:@0.395825:0.910581:0.404352:0.910581:0.404352:0.895682:0.395825:0.895682:0.000000
F:@0.481882:0.850231:0.489621:0.850231:0.489621:0.835332:0.481882:0.835332:0.000000
V:@0.481497:0.870348:0.490024:0.870348:0.490024:0.855449:0.481497:0.855449:0.000000
F:@0.481882:0.890465:0.489621:0.890465:0.489621:0.875566:0.481882:0.875566:0.000000
V:@0.481497:0.910581:0.490024:0.910581:0.490024:0.895682:0.481497:0.895682:0.000000
F:@0.567369:0.850231:0.575109:0.850231:0.575109:0.835332:0.567369:0.835332:0.000000
F:@0.567369:0.870348:0.575109:0.870348:0.575109:0.855449:0.567369:0.855449:0.000000
V:@0.566984:0.890465:0.575511:0.890465:0.575511:0.875566:0.566984:0.875566:0.000000
F:@0.567369:0.910581:0.575109:0.910581:0.575109:0.895682:0.567369:0.895682:0.000000
V:@0.647329:0.850231:0.655856:0.850231:0.655856:0.835332:0.647329:0.835332:0.000000
V:@0.647329:0.870348:0.655856:0.870348:0.655856:0.855449:0.647329:0.855449:0.000000
F:@0.647714:0.890465:0.655453:0.890465:0.655453:0.875566:0.647714:0.875566:0.000000
V:@0.647329:0.910581:0.655856:0.910581:0.655856:0.895682:0.647329:0.895682:0.000000
F:@0.736887:0.850231:0.744626:0.850231:0.744626:0.835332:0.736887:0.835332:0.000000
F:@0.736887:0.870348:0.744626:0.870348:0.744626:0.855449:0.736887:0.855449:0.000000
F:@0.736887:0.890465:0.744626:0.890465:0.744626:0.875566:0.736887:0.875566:0.000000
V:@0.736502:0.910581:0.745029:0.910581:0.745029:0.895682:0.736502:0.895682:0.000000
V:@0.825675:0.850231:0.834202:0.850231:0.834202:0.835332:0.825675:0.835332:0.000000
V:@0.825675:0.870348:0.834202:0.870348:0.834202:0.855449:0.825675:0.855449:0.000000
F:@0.826060:0.890465:0.833799:0.890465:0.833799:0.875566:0.826060:0.875566:0.000000
F:@0.826060:0.910581:0.833799:0.910581:0.833799:0.895682:0.826060:0.895682:0.000000
 ©:@0.079553:0.731952:0.079553:0.720342:0.061505:0.720342:0.061505:0.731952:0.000000:0.000000
maya:@0.080774:0.720340:0.080774:0.684191:0.055786:0.684191:0.055786:0.720340:0.000000:0.000000:0.000000:0.000000
®EDUCACIÓN – Libro resuelto solo para fines didácticos – Prohibida su reproducción :@0.079553:0.684192:0.079553:0.268045:0.061505:0.268045:0.061505:0.684192:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000