155:@0.890754:0.963104:0.932133:0.963104:0.932133:0.941283:0.890754:0.941283:0.000000:0.000000:0.000000
Matemática:@0.795130:0.956142:0.879896:0.956142:0.879896:0.943479:0.795130:0.943479:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
10.º EGB:@0.820728:0.967458:0.879897:0.967458:0.879897:0.954794:0.820728:0.954794:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
8. Simplifica:@0.096359:0.095061:0.202926:0.095061:0.202926:0.078160:0.096359:0.078160:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.110585:0.095061:0.114621:0.095061:0.114621:0.078672:0.110585:0.078672:0.000000
 las siguientes fórmulas lógicas aplicando :@0.202926:0.095061:0.501673:0.095061:0.501673:0.078672:0.202926:0.078672:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
las leyes proposicionales.:@0.124848:0.111657:0.307518:0.111657:0.307518:0.095268:0.124848:0.095268:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124848:0.137395:0.139756:0.137395:0.139756:0.120495:0.124848:0.120495:0.000000:0.000000
 :@0.139756:0.137395:0.143792:0.137395:0.143792:0.121006:0.139756:0.121006:0.000000
p:@0.182309:0.135833:0.191578:0.135833:0.191578:0.120439:0.182309:0.120439:0.000000
q:@0.215028:0.135833:0.224297:0.135833:0.224297:0.120439:0.215028:0.120439:0.000000
(:@0.174770:0.138966:0.180907:0.138966:0.180907:0.119032:0.174770:0.119032:0.000000
):@0.224562:0.138966:0.230698:0.138966:0.230698:0.119032:0.224562:0.119032:0.000000
p:@0.267222:0.135833:0.276491:0.135833:0.276491:0.120439:0.267222:0.120439:0.000000
q:@0.305230:0.135833:0.314499:0.135833:0.314499:0.120439:0.305230:0.120439:0.000000
(:@0.259683:0.138966:0.265819:0.138966:0.265819:0.119032:0.259683:0.119032:0.000000
):@0.314763:0.138966:0.320900:0.138966:0.320900:0.119032:0.314763:0.119032:0.000000
  :@0.326086:0.137389:0.334158:0.137389:0.334158:0.121000:0.326086:0.121000:0.000000:0.000000
b):@0.124851:0.224340:0.141068:0.224340:0.141068:0.207440:0.124851:0.207440:0.000000:0.000000
 :@0.141068:0.224340:0.145103:0.224340:0.145103:0.207951:0.141068:0.207951:0.000000
p:@0.166030:0.222782:0.175300:0.222782:0.175300:0.207389:0.166030:0.207389:0.000000
q:@0.198750:0.222782:0.208019:0.222782:0.208019:0.207389:0.198750:0.207389:0.000000
(:@0.158492:0.225914:0.164628:0.225914:0.164628:0.205981:0.158492:0.205981:0.000000
) (:@0.208283:0.225914:0.233784:0.225914:0.233784:0.205981:0.208283:0.205981:0.000000:0.000000:0.000000
q:@0.234454:0.222782:0.243723:0.222782:0.243723:0.207389:0.234454:0.207389:0.000000
p:@0.267540:0.222782:0.276809:0.222782:0.276809:0.207389:0.267540:0.207389:0.000000
):@0.277439:0.225914:0.283575:0.225914:0.283575:0.205981:0.277439:0.205981:0.000000
p:@0.319682:0.222782:0.328951:0.222782:0.328951:0.207389:0.319682:0.207389:0.000000
  :@0.328951:0.224340:0.337022:0.224340:0.337022:0.207951:0.328951:0.207951:0.000000:0.000000
c):@0.124851:0.312547:0.138672:0.312547:0.138672:0.295647:0.124851:0.295647:0.000000:0.000000
 :@0.138672:0.312547:0.142708:0.312547:0.142708:0.296159:0.138672:0.296159:0.000000
p:@0.160882:0.309732:0.170152:0.309732:0.170152:0.294339:0.160882:0.294339:0.000000
q:@0.206952:0.309732:0.216221:0.309732:0.216221:0.294339:0.206952:0.294339:0.000000
(:@0.153344:0.312864:0.159480:0.312864:0.159480:0.292931:0.153344:0.292931:0.000000
) (:@0.216477:0.312864:0.241986:0.312864:0.241986:0.292931:0.216477:0.292931:0.000000:0.000000:0.000000
q p:@0.258623:0.309732:0.291449:0.309732:0.291449:0.294339:0.258623:0.294339:0.000000:0.000000:0.000000
):@0.292072:0.312864:0.298209:0.312864:0.298209:0.292931:0.292072:0.292931:0.000000
  :@0.298210:0.312547:0.306282:0.312547:0.306282:0.296159:0.298210:0.296159:0.000000:0.000000
d):@0.124851:0.399496:0.141105:0.399496:0.141105:0.382595:0.124851:0.382595:0.000000:0.000000
 :@0.141105:0.399496:0.145140:0.399496:0.145140:0.383107:0.141105:0.383107:0.000000
p q:@0.198276:0.397940:0.230737:0.397940:0.230737:0.382546:0.198276:0.382546:0.000000:0.000000:0.000000
(:@0.190737:0.401071:0.196873:0.401071:0.196873:0.381138:0.190737:0.381138:0.000000
):@0.231001:0.401071:0.237138:0.401071:0.237138:0.381138:0.231001:0.381138:0.000000
q:@0.266490:0.397940:0.275759:0.397940:0.275759:0.382546:0.266490:0.382546:0.000000
p:@0.305596:0.397940:0.314865:0.397940:0.314865:0.382546:0.305596:0.382546:0.000000
  :@0.314865:0.399496:0.322937:0.399496:0.322937:0.383107:0.314865:0.383107:0.000000:0.000000
9.  Identifica:@0.096359:0.490342:0.199497:0.490342:0.199497:0.473442:0.096359:0.473442:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la ley en cada paso.:@0.199497:0.490342:0.344852:0.490342:0.344852:0.473953:0.199497:0.473953:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124848:0.514061:0.143571:0.514061:0.143571:0.497161:0.124848:0.497161:0.000000:0.000000:0.000000
¬(¬ ) = :@0.153337:0.514061:0.213393:0.514061:0.213393:0.497672:0.153337:0.497672:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.180186:0.514061:0.189455:0.514061:0.189455:0.498668:0.180186:0.498668:0.000000
q   :@0.213393:0.514061:0.232613:0.514061:0.232613:0.498668:0.213393:0.498668:0.000000:0.000000:0.000000:0.000000
___________________________________:@0.232618:0.513752:0.496167:0.513752:0.496167:0.498853:0.232618:0.498853:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
b) :@0.124851:0.541355:0.144882:0.541355:0.144882:0.524454:0.124851:0.524454:0.000000:0.000000:0.000000
r r   :@0.153341:0.541355:0.189310:0.541355:0.189310:0.525962:0.153341:0.525962:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.158629:0.541355:0.174928:0.541355:0.174928:0.524966:0.158629:0.524966:0.000000:0.000000:0.000000
_________________________________________:@0.189047:0.541041:0.497626:0.541041:0.497626:0.526141:0.189047:0.526141:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
c):@0.124851:0.568643:0.138672:0.568643:0.138672:0.551743:0.124851:0.551743:0.000000:0.000000
  (     )   (     )       (     ):@0.138672:0.568643:0.344881:0.568643:0.344881:0.552254:0.138672:0.552254:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
r:@0.158224:0.568643:0.163513:0.568643:0.163513:0.553250:0.158224:0.553250:0.000000
∧:@0.167290:0.568228:0.178402:0.568228:0.178402:0.551286:0.167290:0.551286:0.000000
q:@0.182180:0.568643:0.191449:0.568643:0.191449:0.553250:0.182180:0.553250:0.000000
∨:@0.200110:0.568228:0.211222:0.568228:0.211222:0.551286:0.200110:0.551286:0.000000
z:@0.219883:0.568643:0.227125:0.568643:0.227125:0.553250:0.219883:0.553250:0.000000
∧:@0.230884:0.568228:0.241996:0.568228:0.241996:0.551286:0.230884:0.551286:0.000000
q:@0.245774:0.568643:0.255043:0.568643:0.255043:0.553250:0.245774:0.553250:0.000000
q:@0.275998:0.568643:0.285267:0.568643:0.285267:0.553250:0.275998:0.553250:0.000000
∧ ∨:@0.289045:0.568228:0.328978:0.568228:0.328978:0.551286:0.289045:0.551286:0.000000:0.000000:0.000000
r:@0.308818:0.568643:0.314107:0.568643:0.314107:0.553250:0.308818:0.553250:0.000000
z    :@0.332755:0.568643:0.354389:0.568643:0.354389:0.553250:0.332755:0.553250:0.000000:0.000000:0.000000:0.000000:0.000000
___________________:@0.354158:0.568329:0.497626:0.568329:0.497626:0.553430:0.354158:0.553430:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
d):@0.124851:0.595932:0.141105:0.595932:0.141105:0.579031:0.124851:0.579031:0.000000:0.000000
     (    ¬ )       :@0.141105:0.595932:0.283974:0.595932:0.283974:0.579543:0.141105:0.579543:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.153341:0.595932:0.162610:0.595932:0.162610:0.580539:0.153341:0.580539:0.000000
∧:@0.166221:0.595517:0.177333:0.595517:0.177333:0.578575:0.166221:0.578575:0.000000
q:@0.185828:0.595932:0.195098:0.595932:0.195098:0.580539:0.185828:0.580539:0.000000
∨:@0.198728:0.595517:0.209840:0.595517:0.209840:0.578575:0.198728:0.578575:0.000000
q:@0.224434:0.595932:0.233703:0.595932:0.233703:0.580539:0.224434:0.580539:0.000000
≡ ∧:@0.242217:0.595517:0.279938:0.595517:0.279938:0.578575:0.242217:0.578575:0.000000:0.000000:0.000000
p V   :@0.255946:0.595932:0.301939:0.595932:0.301939:0.580539:0.255946:0.580539:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
__________________________:@0.301623:0.595617:0.497626:0.595617:0.497626:0.580718:0.301623:0.580718:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
e) :@0.124851:0.623220:0.143721:0.623220:0.143721:0.606320:0.124851:0.606320:0.000000:0.000000:0.000000
r:@0.153341:0.623220:0.158629:0.623220:0.158629:0.607827:0.153341:0.607827:0.000000
   (     )       (¬     ):@0.158629:0.623220:0.333508:0.623220:0.333508:0.606831:0.158629:0.606831:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.162665:0.622805:0.173777:0.622805:0.173777:0.605863:0.162665:0.605863:0.000000
p:@0.182696:0.623220:0.191965:0.623220:0.191965:0.607827:0.182696:0.607827:0.000000
→:@0.196001:0.622805:0.214189:0.622805:0.214189:0.605863:0.196001:0.605863:0.000000
q:@0.218224:0.623220:0.227493:0.623220:0.227493:0.607827:0.218224:0.607827:0.000000
≡ ∨:@0.236412:0.622805:0.271001:0.622805:0.271001:0.605863:0.236412:0.605863:0.000000:0.000000:0.000000
r:@0.250565:0.623220:0.255853:0.623220:0.255853:0.607827:0.250565:0.607827:0.000000
p:@0.290903:0.623220:0.300172:0.623220:0.300172:0.607827:0.290903:0.607827:0.000000
∨:@0.304208:0.622805:0.315319:0.622805:0.315319:0.605863:0.304208:0.605863:0.000000
q    :@0.319355:0.623220:0.343458:0.623220:0.343458:0.607827:0.319355:0.607827:0.000000:0.000000:0.000000:0.000000:0.000000
____________________:@0.343453:0.622906:0.494426:0.622906:0.494426:0.608007:0.343453:0.608007:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
10. Calcula:@0.096359:0.656413:0.182471:0.656413:0.182471:0.639512:0.096359:0.639512:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 o :@0.182471:0.656413:0.205911:0.656413:0.205911:0.640024:0.182471:0.640024:0.000000:0.000000:0.000000
simplifica:@0.211476:0.656413:0.287675:0.656413:0.287675:0.639512:0.211476:0.639512:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las siguientes expresiones :@0.287675:0.656413:0.501656:0.656413:0.501656:0.640024:0.287675:0.640024:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
lógicas utilizando las leyes del cálculo proposicional.:@0.124848:0.673009:0.497628:0.673009:0.497628:0.656620:0.124848:0.656620:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124848:0.696728:0.143571:0.696728:0.143571:0.679828:0.124848:0.679828:0.000000:0.000000:0.000000
¬¬  :@0.153337:0.696728:0.188608:0.696728:0.188608:0.680339:0.153337:0.680339:0.000000:0.000000:0.000000:0.000000
p:@0.175303:0.696728:0.184572:0.696728:0.184572:0.681335:0.175303:0.681335:0.000000
≡:@0.188608:0.696313:0.198724:0.696313:0.198724:0.679371:0.188608:0.679371:0.000000
b) :@0.124851:0.778111:0.144882:0.778111:0.144882:0.761210:0.124851:0.761210:0.000000:0.000000:0.000000
¬(:@0.153341:0.778111:0.169207:0.778111:0.169207:0.761722:0.153341:0.761722:0.000000:0.000000
p:@0.169207:0.778111:0.178476:0.778111:0.178476:0.762718:0.169207:0.762718:0.000000
 ∧:@0.178476:0.777696:0.194195:0.777696:0.194195:0.760754:0.178476:0.760754:0.000000:0.000000
 ¬ ) :@0.194195:0.778111:0.227401:0.778111:0.227401:0.761722:0.194195:0.761722:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.209213:0.778111:0.218482:0.778111:0.218482:0.762718:0.209213:0.762718:0.000000
≡:@0.227401:0.777696:0.237518:0.777696:0.237518:0.760754:0.227401:0.760754:0.000000
c) :@0.124851:0.859487:0.142487:0.859487:0.142487:0.842587:0.124851:0.842587:0.000000:0.000000:0.000000
¬(¬     ) :@0.153341:0.859487:0.226830:0.859487:0.226830:0.843098:0.153341:0.843098:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.180190:0.859487:0.189459:0.859487:0.189459:0.844094:0.180190:0.844094:0.000000
∨:@0.193494:0.859072:0.204606:0.859072:0.204606:0.842130:0.193494:0.842130:0.000000
q:@0.208642:0.859487:0.217911:0.859487:0.217911:0.844094:0.208642:0.844094:0.000000
≡:@0.226830:0.859072:0.236947:0.859072:0.236947:0.842130:0.226830:0.842130:0.000000
d) :@0.554609:0.095061:0.574677:0.095061:0.574677:0.078160:0.554609:0.078160:0.000000:0.000000:0.000000
¬(¬    ¬ ) :@0.583098:0.095061:0.667570:0.095061:0.667570:0.078672:0.583098:0.078672:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.609947:0.095061:0.619216:0.095061:0.619216:0.079668:0.609947:0.079668:0.000000
∧:@0.623252:0.094646:0.634364:0.094646:0.634364:0.077704:0.623252:0.077704:0.000000
q:@0.649382:0.095061:0.658651:0.095061:0.658651:0.079668:0.649382:0.079668:0.000000
≡:@0.667570:0.094646:0.677687:0.094646:0.677687:0.077704:0.667570:0.077704:0.000000
11. Escribe:@0.526118:0.185906:0.611678:0.185906:0.611678:0.169005:0.526118:0.169005:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.550222:0.185906:0.554257:0.185906:0.554257:0.169517:0.550222:0.169517:0.000000
 la propiedad que se ha aplicado en la :@0.611678:0.185906:0.931453:0.185906:0.931453:0.169517:0.611678:0.169517:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
simplificación de la siguiente expresión.:@0.554607:0.202502:0.845502:0.202502:0.845502:0.186113:0.554607:0.186113:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼:@0.557593:0.232044:0.567709:0.232044:0.567709:0.215295:0.557593:0.215295:0.000000
q:@0.583410:0.231172:0.592679:0.231172:0.592679:0.215779:0.583410:0.215779:0.000000
∨:@0.591794:0.231850:0.602906:0.231850:0.602906:0.216277:0.591794:0.216277:0.000000
∼:@0.605099:0.232044:0.615216:0.232044:0.615216:0.215295:0.605099:0.215295:0.000000
p:@0.619123:0.231172:0.628392:0.231172:0.628392:0.215779:0.619123:0.215779:0.000000
(:@0.576597:0.234298:0.582733:0.234298:0.582733:0.214365:0.576597:0.214365:0.000000
):@0.629005:0.234298:0.635141:0.234298:0.635141:0.214365:0.629005:0.214365:0.000000
↔ ⎤:@0.636907:0.231844:0.675550:0.229755:0.675550:0.214182:0.636907:0.216271:0.000000:0.000000:0.000000
p:@0.659002:0.231166:0.668271:0.231166:0.668271:0.215773:0.659002:0.215773:0.000000
⎡:@0.569738:0.229755:0.576814:0.229755:0.576814:0.214182:0.569738:0.214182:0.000000
⎣:@0.569738:0.234555:0.576814:0.234555:0.576814:0.218982:0.569738:0.218982:0.000000
⎦:@0.668473:0.234555:0.675550:0.234555:0.675550:0.218982:0.668473:0.218982:0.000000
∼:@0.557594:0.258329:0.567711:0.258329:0.567711:0.241580:0.557594:0.241580:0.000000
q:@0.591354:0.257458:0.600623:0.257458:0.600623:0.242064:0.591354:0.242064:0.000000
∨:@0.599738:0.258135:0.610850:0.258135:0.610850:0.242562:0.599738:0.242562:0.000000
∼:@0.613043:0.258329:0.623160:0.258329:0.623160:0.241580:0.613043:0.241580:0.000000
p:@0.627067:0.257458:0.636336:0.257458:0.636336:0.242064:0.627067:0.242064:0.000000
(:@0.584554:0.260583:0.590690:0.260583:0.590690:0.240650:0.584554:0.240650:0.000000
):@0.636962:0.260583:0.643099:0.260583:0.643099:0.240650:0.636962:0.240650:0.000000
→ ⎤ ∧ → ∨:@0.645229:0.258129:0.755556:0.258129:0.755556:0.242556:0.645229:0.242556:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.666956:0.257451:0.676225:0.257451:0.676225:0.242058:0.666956:0.242058:0.000000
⎡:@0.577692:0.256041:0.584768:0.256041:0.584768:0.240468:0.577692:0.240468:0.000000
⎣:@0.577692:0.260840:0.584768:0.260840:0.584768:0.245267:0.577692:0.245267:0.000000
⎦:@0.676427:0.260840:0.683504:0.260840:0.683504:0.245267:0.676427:0.245267:0.000000
p:@0.696901:0.257451:0.706170:0.257451:0.706170:0.242058:0.696901:0.242058:0.000000
q:@0.736059:0.257451:0.745328:0.257451:0.745328:0.242058:0.736059:0.242058:0.000000
∼:@0.757749:0.258323:0.767865:0.258323:0.767865:0.241574:0.757749:0.241574:0.000000
p:@0.771772:0.257451:0.781041:0.257451:0.781041:0.242058:0.771772:0.242058:0.000000
(:@0.729254:0.260583:0.735391:0.260583:0.735391:0.240650:0.729254:0.240650:0.000000
):@0.781663:0.260583:0.787799:0.260583:0.787799:0.240650:0.781663:0.240650:0.000000
⎤:@0.787677:0.256047:0.794753:0.256047:0.794753:0.240474:0.787677:0.240474:0.000000
⎦:@0.787677:0.260846:0.794753:0.260846:0.794753:0.245273:0.787677:0.245273:0.000000
{:@0.569740:0.262157:0.578585:0.262157:0.578585:0.239109:0.569740:0.239109:0.000000
}:@0.793341:0.262157:0.802186:0.262157:0.802186:0.239109:0.793341:0.239109:0.000000
∼ ∼:@0.557594:0.285669:0.595039:0.285669:0.595039:0.268920:0.557594:0.268920:0.000000:0.000000:0.000000
q:@0.604659:0.284798:0.613928:0.284798:0.613928:0.269404:0.604659:0.269404:0.000000
∨:@0.613043:0.285475:0.624155:0.285475:0.624155:0.269902:0.613043:0.269902:0.000000
∼:@0.626348:0.285669:0.636465:0.285669:0.636465:0.268920:0.626348:0.268920:0.000000
p:@0.640371:0.284798:0.649640:0.284798:0.649640:0.269404:0.640371:0.269404:0.000000
(:@0.597852:0.287929:0.603988:0.287929:0.603988:0.267996:0.597852:0.267996:0.000000
):@0.650260:0.287929:0.656397:0.287929:0.656397:0.267996:0.650260:0.267996:0.000000
∨ ⎤ ∧ ⎡:@0.657427:0.285475:0.705861:0.283393:0.705861:0.267820:0.657427:0.269902:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.670732:0.284798:0.680001:0.284798:0.680001:0.269404:0.670732:0.269404:0.000000
⎡:@0.577709:0.283387:0.584785:0.283387:0.584785:0.267814:0.577709:0.267814:0.000000
⎣:@0.577709:0.288186:0.584785:0.288186:0.584785:0.272613:0.577709:0.272613:0.000000
⎦ ⎣:@0.680203:0.288186:0.705861:0.288192:0.705861:0.272619:0.680203:0.272613:0.000000:0.000000:0.000000
∼:@0.706002:0.285669:0.716119:0.285669:0.716119:0.268920:0.706002:0.268920:0.000000
p:@0.720026:0.284798:0.729295:0.284798:0.729295:0.269404:0.720026:0.269404:0.000000
∨ ∨:@0.730658:0.285475:0.769154:0.285475:0.769154:0.269902:0.730658:0.269902:0.000000:0.000000:0.000000
q:@0.749657:0.284798:0.758926:0.284798:0.758926:0.269404:0.749657:0.269404:0.000000
∼:@0.771347:0.285669:0.781463:0.285669:0.781463:0.268920:0.771347:0.268920:0.000000
p:@0.785370:0.284798:0.794639:0.284798:0.794639:0.269404:0.785370:0.269404:0.000000
(:@0.742864:0.287929:0.749001:0.287929:0.749001:0.267996:0.742864:0.267996:0.000000
):@0.795272:0.287929:0.801409:0.287929:0.801409:0.267996:0.795272:0.267996:0.000000
⎤:@0.801280:0.283393:0.808356:0.283393:0.808356:0.267820:0.801280:0.267820:0.000000
⎦:@0.801280:0.288192:0.808356:0.288192:0.808356:0.272619:0.801280:0.272619:0.000000
{:@0.569740:0.289503:0.578585:0.289503:0.578585:0.266455:0.569740:0.266455:0.000000
}:@0.806940:0.289503:0.815786:0.289503:0.815786:0.266455:0.806940:0.266455:0.000000
 :@0.526118:0.347710:0.530154:0.347710:0.530154:0.331321:0.526118:0.331321:0.000000
∼ ∼:@0.557594:0.315853:0.587079:0.315853:0.587079:0.299104:0.557594:0.299104:0.000000:0.000000:0.000000
q:@0.596698:0.314982:0.605967:0.314982:0.605967:0.299588:0.596698:0.299588:0.000000
∨:@0.605082:0.315659:0.616194:0.315659:0.616194:0.300086:0.605082:0.300086:0.000000
∼:@0.618387:0.315853:0.628504:0.315853:0.628504:0.299104:0.618387:0.299104:0.000000
p:@0.632411:0.314982:0.641680:0.314982:0.641680:0.299588:0.632411:0.299588:0.000000
(:@0.589895:0.318113:0.596031:0.318113:0.596031:0.298180:0.589895:0.298180:0.000000
):@0.642303:0.318113:0.648439:0.318113:0.648439:0.298180:0.642303:0.298180:0.000000
∨ ⎤ ∨ ⎡:@0.649469:0.315659:0.710991:0.313577:0.710991:0.298004:0.649469:0.300086:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.662774:0.314982:0.672043:0.314982:0.672043:0.299588:0.662774:0.299588:0.000000
⎡:@0.569752:0.313571:0.576828:0.313571:0.576828:0.297998:0.569752:0.297998:0.000000
⎣:@0.569752:0.318370:0.576828:0.318370:0.576828:0.302797:0.569752:0.302797:0.000000
⎦:@0.672246:0.318370:0.679322:0.318370:0.679322:0.302797:0.672246:0.302797:0.000000
∼ ∼:@0.691779:0.315853:0.721264:0.315853:0.721264:0.299104:0.691779:0.299104:0.000000:0.000000:0.000000
p:@0.725170:0.314982:0.734439:0.314982:0.734439:0.299588:0.725170:0.299588:0.000000
∨ ∨:@0.735803:0.315659:0.774298:0.315659:0.774298:0.300086:0.735803:0.300086:0.000000:0.000000:0.000000
q:@0.754802:0.314982:0.764071:0.314982:0.764071:0.299588:0.754802:0.299588:0.000000
∼:@0.776491:0.315853:0.786608:0.315853:0.786608:0.299104:0.776491:0.299104:0.000000
p:@0.790515:0.314982:0.799784:0.314982:0.799784:0.299588:0.790515:0.299588:0.000000
(:@0.747995:0.318113:0.754132:0.318113:0.754132:0.298180:0.747995:0.298180:0.000000
):@0.800404:0.318113:0.806540:0.318113:0.806540:0.298180:0.800404:0.298180:0.000000
⎣:@0.703915:0.318376:0.710991:0.318376:0.710991:0.302803:0.703915:0.302803:0.000000
⎤:@0.806409:0.313577:0.813486:0.313577:0.813486:0.298004:0.806409:0.298004:0.000000
⎦:@0.806409:0.318376:0.813486:0.318376:0.813486:0.302803:0.806409:0.302803:0.000000
∼ ∼:@0.557581:0.341086:0.593515:0.341086:0.593515:0.324337:0.557581:0.324337:0.000000:0.000000:0.000000
q:@0.596703:0.340214:0.605972:0.340214:0.605972:0.324821:0.596703:0.324821:0.000000
∧:@0.605087:0.340892:0.616199:0.340892:0.616199:0.325319:0.605087:0.325319:0.000000
∼∼:@0.618392:0.341086:0.638460:0.341086:0.638460:0.324337:0.618392:0.324337:0.000000:0.000000
p:@0.642366:0.340214:0.651636:0.340214:0.651636:0.324821:0.642366:0.324821:0.000000
(:@0.576597:0.343339:0.582733:0.343339:0.582733:0.323405:0.576597:0.323405:0.000000
):@0.652242:0.343339:0.658378:0.343339:0.658378:0.323405:0.652242:0.323405:0.000000
∨ ⎤ ∨ ⎡:@0.659417:0.340884:0.720939:0.338801:0.720939:0.323228:0.659417:0.325312:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.672722:0.340207:0.681991:0.340207:0.681991:0.324814:0.672722:0.324814:0.000000
⎡:@0.569748:0.338796:0.576824:0.338796:0.576824:0.323223:0.569748:0.323223:0.000000
⎣:@0.569748:0.343595:0.576824:0.343595:0.576824:0.328022:0.569748:0.328022:0.000000
⎦:@0.682194:0.343595:0.689270:0.343595:0.689270:0.328022:0.682194:0.328022:0.000000
∼ ∼:@0.701727:0.341078:0.731211:0.341078:0.731211:0.324330:0.701727:0.324330:0.000000:0.000000:0.000000
p:@0.735118:0.340207:0.744387:0.340207:0.744387:0.324814:0.735118:0.324814:0.000000
∨ ∨:@0.745751:0.340884:0.784246:0.340884:0.784246:0.325312:0.745751:0.325312:0.000000:0.000000:0.000000
q:@0.764749:0.340207:0.774019:0.340207:0.774019:0.324814:0.764749:0.324814:0.000000
∼:@0.786439:0.341078:0.796556:0.341078:0.796556:0.324330:0.786439:0.324330:0.000000
p:@0.800462:0.340207:0.809731:0.340207:0.809731:0.324814:0.800462:0.324814:0.000000
(:@0.757941:0.343339:0.764078:0.343339:0.764078:0.323405:0.757941:0.323405:0.000000
):@0.810349:0.343339:0.816486:0.343339:0.816486:0.323405:0.810349:0.323405:0.000000
⎣:@0.713862:0.343600:0.720939:0.343600:0.720939:0.328027:0.713862:0.328027:0.000000
⎤:@0.816357:0.338801:0.823433:0.338801:0.823433:0.323228:0.816357:0.323228:0.000000
⎦:@0.816357:0.343600:0.823433:0.343600:0.823433:0.328027:0.816357:0.328027:0.000000
∼ ∼:@0.557578:0.366310:0.593511:0.366310:0.593511:0.349561:0.557578:0.349561:0.000000:0.000000:0.000000
q p:@0.596699:0.365438:0.629537:0.365438:0.629537:0.350045:0.596699:0.350045:0.000000:0.000000:0.000000
∧:@0.606964:0.366116:0.618076:0.366116:0.618076:0.350543:0.606964:0.350543:0.000000
(:@0.576597:0.368563:0.582733:0.368563:0.582733:0.348629:0.576597:0.348629:0.000000
):@0.630147:0.368563:0.636284:0.368563:0.636284:0.348629:0.630147:0.348629:0.000000
∨ ⎤ ∨ ⎡:@0.637324:0.366108:0.698846:0.364026:0.698846:0.348453:0.637324:0.350536:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.650629:0.365431:0.659898:0.365431:0.659898:0.350038:0.650629:0.350038:0.000000
⎡:@0.569750:0.364020:0.576826:0.364020:0.576826:0.348447:0.569750:0.348447:0.000000
⎣:@0.569750:0.368819:0.576826:0.368819:0.576826:0.353246:0.569750:0.353246:0.000000
⎦:@0.660101:0.368819:0.667177:0.368819:0.667177:0.353246:0.660101:0.353246:0.000000
∼ ∼:@0.679634:0.366302:0.709118:0.366302:0.709118:0.349554:0.679634:0.349554:0.000000:0.000000:0.000000
p:@0.713025:0.365431:0.722294:0.365431:0.722294:0.350038:0.713025:0.350038:0.000000
∨ ∨:@0.723657:0.366108:0.762153:0.366108:0.762153:0.350536:0.723657:0.350536:0.000000:0.000000:0.000000
q:@0.742656:0.365431:0.751925:0.365431:0.751925:0.350038:0.742656:0.350038:0.000000
∼:@0.764346:0.366302:0.774462:0.366302:0.774462:0.349554:0.764346:0.349554:0.000000
p:@0.778369:0.365431:0.787638:0.365431:0.787638:0.350038:0.778369:0.350038:0.000000
(:@0.735850:0.368563:0.741986:0.368563:0.741986:0.348629:0.735850:0.348629:0.000000
):@0.788258:0.368563:0.794394:0.368563:0.794394:0.348629:0.788258:0.348629:0.000000
⎣:@0.691769:0.368825:0.698846:0.368825:0.698846:0.353253:0.691769:0.353253:0.000000
⎤:@0.794264:0.364026:0.801340:0.364026:0.801340:0.348453:0.794264:0.348453:0.000000
⎦:@0.794264:0.368825:0.801340:0.368825:0.801340:0.353253:0.794264:0.353253:0.000000
∼ ∼:@0.557579:0.391535:0.593513:0.391535:0.593513:0.374786:0.557579:0.374786:0.000000:0.000000:0.000000
q p:@0.596701:0.390664:0.629539:0.390664:0.629539:0.375270:0.596701:0.375270:0.000000:0.000000:0.000000
∧:@0.606965:0.391341:0.618077:0.391341:0.618077:0.375768:0.606965:0.375768:0.000000
(:@0.576597:0.393788:0.582733:0.393788:0.582733:0.373854:0.576597:0.373854:0.000000
):@0.630147:0.393788:0.636284:0.393788:0.636284:0.373854:0.630147:0.373854:0.000000
∨ ⎤ ∨ ⎡:@0.637324:0.391334:0.698852:0.389245:0.698852:0.373672:0.637324:0.375761:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.650629:0.390656:0.659898:0.390656:0.659898:0.375263:0.650629:0.375263:0.000000
⎡:@0.569750:0.389245:0.576826:0.389245:0.576826:0.373672:0.569750:0.373672:0.000000
⎣:@0.569750:0.394044:0.576826:0.394044:0.576826:0.378471:0.569750:0.378471:0.000000
⎦:@0.660101:0.394044:0.667177:0.394044:0.667177:0.378471:0.660101:0.378471:0.000000
∼ ∼:@0.679634:0.391527:0.715568:0.391527:0.715568:0.374779:0.679634:0.374779:0.000000:0.000000:0.000000
p:@0.719474:0.390656:0.728744:0.390656:0.728744:0.375263:0.719474:0.375263:0.000000
∨:@0.728209:0.391334:0.739321:0.391334:0.739321:0.375761:0.728209:0.375761:0.000000
∼:@0.741514:0.391527:0.751631:0.391527:0.751631:0.374779:0.741514:0.374779:0.000000
p:@0.755537:0.390656:0.764806:0.390656:0.764806:0.375263:0.755537:0.375263:0.000000
(:@0.698628:0.393788:0.704764:0.393788:0.704764:0.373854:0.698628:0.373854:0.000000
):@0.765428:0.393788:0.771564:0.393788:0.771564:0.373854:0.765428:0.373854:0.000000
∨ ⎤:@0.772600:0.391334:0.801347:0.389245:0.801347:0.373672:0.772600:0.375761:0.000000:0.000000:0.000000
q:@0.785167:0.390656:0.794436:0.390656:0.794436:0.375263:0.785167:0.375263:0.000000
⎣:@0.691776:0.394044:0.698852:0.394044:0.698852:0.378471:0.691776:0.378471:0.000000
⎦:@0.794271:0.394044:0.801347:0.394044:0.801347:0.378471:0.794271:0.378471:0.000000
∼:@0.557586:0.416754:0.567703:0.416754:0.567703:0.400005:0.557586:0.400005:0.000000
p:@0.578059:0.415882:0.587328:0.415882:0.587328:0.400489:0.578059:0.400489:0.000000
[ ]:@0.570524:0.418929:0.594093:0.418929:0.594093:0.399307:0.570524:0.399307:0.000000:0.000000:0.000000
∨ ⎡:@0.594187:0.416558:0.626713:0.414469:0.626713:0.398896:0.594187:0.400985:0.000000:0.000000:0.000000
∼ ∼:@0.607491:0.416751:0.643425:0.416751:0.643425:0.400003:0.607491:0.400003:0.000000:0.000000:0.000000
p:@0.647332:0.415880:0.656601:0.415880:0.656601:0.400487:0.647332:0.400487:0.000000
∨:@0.656067:0.416558:0.667178:0.416558:0.667178:0.400985:0.656067:0.400985:0.000000
∼:@0.669371:0.416751:0.679488:0.416751:0.679488:0.400003:0.669371:0.400003:0.000000
p:@0.683395:0.415880:0.692664:0.415880:0.692664:0.400487:0.683395:0.400487:0.000000
(:@0.626489:0.419012:0.632625:0.419012:0.632625:0.399078:0.626489:0.399078:0.000000
):@0.693289:0.419012:0.699425:0.419012:0.699425:0.399078:0.693289:0.399078:0.000000
∨ ⎤:@0.700460:0.416558:0.729208:0.414469:0.729208:0.398896:0.700460:0.400985:0.000000:0.000000:0.000000
q:@0.713028:0.415880:0.722297:0.415880:0.722297:0.400487:0.713028:0.400487:0.000000
⎣:@0.619637:0.419268:0.626713:0.419268:0.626713:0.403695:0.619637:0.403695:0.000000
⎦:@0.722131:0.419268:0.729208:0.419268:0.729208:0.403695:0.722131:0.403695:0.000000
∼:@0.557591:0.440871:0.567708:0.440871:0.567708:0.424123:0.557591:0.424123:0.000000
p:@0.578064:0.440000:0.587333:0.440000:0.587333:0.424607:0.578064:0.424607:0.000000
[ ]:@0.570524:0.443054:0.594093:0.443054:0.594093:0.423432:0.570524:0.423432:0.000000:0.000000:0.000000
∨:@0.594187:0.440683:0.605298:0.440683:0.605298:0.425110:0.594187:0.425110:0.000000
∼ ∼:@0.607491:0.440876:0.637344:0.440876:0.637344:0.424128:0.607491:0.424128:0.000000:0.000000:0.000000
p q:@0.641251:0.440005:0.673720:0.440005:0.673720:0.424612:0.641251:0.424612:0.000000:0.000000:0.000000
∨:@0.651884:0.440683:0.662995:0.440683:0.662995:0.425110:0.651884:0.425110:0.000000
[:@0.620416:0.443054:0.626552:0.443054:0.626552:0.423432:0.620416:0.423432:0.000000
]:@0.673967:0.443054:0.680103:0.443054:0.680103:0.423432:0.673967:0.423432:0.000000
∼:@0.557594:0.463900:0.567711:0.463900:0.567711:0.447152:0.557594:0.447152:0.000000
p:@0.571618:0.463029:0.580887:0.463029:0.580887:0.447636:0.571618:0.447636:0.000000
∨:@0.582251:0.463706:0.593362:0.463706:0.593362:0.448134:0.582251:0.448134:0.000000
∼∼:@0.601249:0.463900:0.621317:0.463900:0.621317:0.447152:0.601249:0.447152:0.000000:0.000000
p:@0.625224:0.463029:0.634493:0.463029:0.634493:0.447636:0.625224:0.447636:0.000000
∧:@0.633958:0.463706:0.645070:0.463706:0.645070:0.448134:0.633958:0.448134:0.000000
∼:@0.647263:0.463900:0.657380:0.463900:0.657380:0.447152:0.647263:0.447152:0.000000
q:@0.660568:0.463029:0.669837:0.463029:0.669837:0.447636:0.660568:0.447636:0.000000
(:@0.594450:0.466161:0.600586:0.466161:0.600586:0.446227:0.594450:0.446227:0.000000
):@0.670095:0.466161:0.676231:0.466161:0.676231:0.446227:0.670095:0.446227:0.000000
∼:@0.557594:0.486925:0.567711:0.486925:0.567711:0.470177:0.557594:0.470177:0.000000
p:@0.571618:0.486054:0.580887:0.486054:0.580887:0.470661:0.571618:0.470661:0.000000
∨ ∧:@0.582251:0.486731:0.621833:0.486731:0.621833:0.471158:0.582251:0.471158:0.000000:0.000000:0.000000
p:@0.601986:0.486054:0.611256:0.486054:0.611256:0.470661:0.601986:0.470661:0.000000
∼:@0.624026:0.486925:0.634143:0.486925:0.634143:0.470177:0.624026:0.470177:0.000000
q:@0.637331:0.486054:0.646600:0.486054:0.646600:0.470661:0.637331:0.470661:0.000000
(:@0.594450:0.489186:0.600586:0.489186:0.600586:0.469252:0.594450:0.469252:0.000000
):@0.646858:0.489186:0.652994:0.489186:0.652994:0.469252:0.646858:0.469252:0.000000
∼:@0.564032:0.509949:0.574149:0.509949:0.574149:0.493200:0.564032:0.493200:0.000000
p p:@0.578056:0.509077:0.611262:0.509077:0.611262:0.493684:0.578056:0.493684:0.000000:0.000000:0.000000
∨:@0.588688:0.509755:0.599800:0.509755:0.599800:0.494182:0.588688:0.494182:0.000000
(:@0.557227:0.512209:0.563364:0.512209:0.563364:0.492276:0.557227:0.492276:0.000000
) (:@0.611884:0.512209:0.637388:0.512209:0.637388:0.492276:0.611884:0.492276:0.000000:0.000000:0.000000
∧:@0.619054:0.509755:0.630166:0.509755:0.630166:0.494182:0.619054:0.494182:0.000000
∼:@0.638053:0.509949:0.648170:0.509949:0.648170:0.493200:0.638053:0.493200:0.000000
p:@0.652076:0.509077:0.661345:0.509077:0.661345:0.493684:0.652076:0.493684:0.000000
∨:@0.660811:0.509755:0.671923:0.509755:0.671923:0.494182:0.660811:0.494182:0.000000
∼:@0.674116:0.509949:0.684232:0.509949:0.684232:0.493200:0.674116:0.493200:0.000000
q:@0.687420:0.509077:0.696689:0.509077:0.696689:0.493684:0.687420:0.493684:0.000000
):@0.696946:0.512209:0.703082:0.512209:0.703082:0.492276:0.696946:0.492276:0.000000
V:@0.556442:0.532102:0.565563:0.532102:0.565563:0.516709:0.556442:0.516709:0.000000
∧:@0.569009:0.532780:0.580121:0.532780:0.580121:0.517207:0.569009:0.517207:0.000000
∼:@0.588008:0.532974:0.598125:0.532974:0.598125:0.516225:0.588008:0.516225:0.000000
p:@0.602032:0.532102:0.611301:0.532102:0.611301:0.516709:0.602032:0.516709:0.000000
∨:@0.610766:0.532780:0.621878:0.532780:0.621878:0.517207:0.610766:0.517207:0.000000
∼:@0.624071:0.532974:0.634188:0.532974:0.634188:0.516225:0.624071:0.516225:0.000000
q:@0.637376:0.532102:0.646645:0.532102:0.646645:0.516709:0.637376:0.516709:0.000000
(:@0.581203:0.535234:0.587340:0.535234:0.587340:0.515301:0.581203:0.515301:0.000000
):@0.646898:0.535234:0.653034:0.535234:0.653034:0.515301:0.646898:0.515301:0.000000
∼:@0.564032:0.555997:0.574149:0.555997:0.574149:0.539249:0.564032:0.539249:0.000000
p:@0.578056:0.555126:0.587325:0.555126:0.587325:0.539733:0.578056:0.539733:0.000000
∨:@0.586790:0.555804:0.597902:0.555804:0.597902:0.540231:0.586790:0.540231:0.000000
∼:@0.600095:0.555997:0.610212:0.555997:0.610212:0.539249:0.600095:0.539249:0.000000
q:@0.613400:0.555126:0.622669:0.555126:0.622669:0.539733:0.613400:0.539733:0.000000
(:@0.557227:0.558258:0.563364:0.558258:0.563364:0.538324:0.557227:0.538324:0.000000
):@0.622922:0.558258:0.629058:0.558258:0.629058:0.538324:0.622922:0.538324:0.000000
Actividad cooperativa:@0.526118:0.372347:0.719366:0.372347:0.719366:0.354331:0.526118:0.354331:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Trabajen :@0.526118:0.388786:0.598133:0.388786:0.598133:0.371886:0.526118:0.371886:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
en equipo y:@0.597949:0.388786:0.683638:0.388786:0.683638:0.372397:0.597949:0.372397:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 resuelvan:@0.683453:0.388786:0.763079:0.388786:0.763079:0.371886:0.683453:0.371886:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.762895:0.388786:0.766101:0.388786:0.766101:0.372397:0.762895:0.372397:0.000000
12. Escriban:@0.526118:0.405383:0.622071:0.405383:0.622071:0.388482:0.526118:0.388482:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.550222:0.405383:0.554257:0.405383:0.554257:0.388994:0.550222:0.388994:0.000000
 la ley que se aplicó en cada paso.:@0.622071:0.405383:0.868371:0.405383:0.868371:0.388994:0.622071:0.388994:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.554607:0.431439:0.573330:0.431439:0.573330:0.414538:0.554607:0.414538:0.000000:0.000000:0.000000
p q:@0.612681:0.433123:0.645141:0.433123:0.645141:0.417729:0.612681:0.417729:0.000000:0.000000:0.000000
(:@0.589174:0.436148:0.595311:0.436148:0.595311:0.413081:0.589174:0.413081:0.000000
) (:@0.645397:0.436148:0.680435:0.436148:0.680435:0.413081:0.645397:0.413081:0.000000:0.000000:0.000000
r:@0.681103:0.433123:0.686392:0.433123:0.686392:0.417729:0.681103:0.417729:0.000000
r:@0.716074:0.433123:0.721362:0.433123:0.721362:0.417729:0.716074:0.417729:0.000000
):@0.722929:0.436148:0.729065:0.436148:0.729065:0.413081:0.722929:0.413081:0.000000
q:@0.764446:0.433123:0.773715:0.433123:0.773715:0.417729:0.764446:0.417729:0.000000
p q:@0.613519:0.458347:0.645978:0.458347:0.645978:0.442953:0.613519:0.442953:0.000000:0.000000:0.000000
(:@0.590012:0.461372:0.596148:0.461372:0.596148:0.438305:0.590012:0.438305:0.000000
):@0.646235:0.461372:0.652371:0.461372:0.652371:0.438305:0.646235:0.438305:0.000000
F:@0.675136:0.458347:0.683189:0.458347:0.683189:0.442953:0.675136:0.442953:0.000000
q:@0.720106:0.458347:0.729375:0.458347:0.729375:0.442953:0.720106:0.442953:0.000000
p q:@0.628648:0.483572:0.661109:0.483572:0.661109:0.468179:0.628648:0.468179:0.000000:0.000000:0.000000
(:@0.605143:0.486597:0.611279:0.486597:0.611279:0.463531:0.605143:0.463531:0.000000
):@0.661365:0.486597:0.667502:0.486597:0.667502:0.463531:0.661365:0.463531:0.000000
F:@0.680738:0.483572:0.688791:0.483572:0.688791:0.468179:0.680738:0.468179:0.000000
q:@0.725706:0.483572:0.734975:0.483572:0.734975:0.468179:0.725706:0.468179:0.000000
p:@0.596713:0.508798:0.605982:0.508798:0.605982:0.493405:0.596713:0.493405:0.000000
q:@0.634721:0.508796:0.643990:0.508796:0.643990:0.493403:0.634721:0.493403:0.000000
(:@0.589174:0.511821:0.595311:0.511821:0.595311:0.488755:0.589174:0.488755:0.000000
):@0.644254:0.511821:0.650391:0.511821:0.650391:0.488755:0.644254:0.488755:0.000000
F:@0.663619:0.508796:0.671671:0.508796:0.671671:0.493403:0.663619:0.493403:0.000000
q:@0.708589:0.508796:0.717858:0.508796:0.717858:0.493403:0.708589:0.493403:0.000000
p:@0.590633:0.532916:0.599903:0.532916:0.599903:0.517523:0.590633:0.517523:0.000000
q:@0.628648:0.532921:0.637917:0.532921:0.637917:0.517528:0.628648:0.517528:0.000000
(:@0.583102:0.535946:0.589238:0.535946:0.589238:0.512880:0.583102:0.512880:0.000000
):@0.638182:0.535946:0.644318:0.535946:0.644318:0.512880:0.638182:0.512880:0.000000
q:@0.673670:0.532921:0.682939:0.532921:0.682939:0.517528:0.673670:0.517528:0.000000
q:@0.599435:0.554963:0.608704:0.554963:0.608704:0.539569:0.599435:0.539569:0.000000
b):@0.554609:0.593963:0.570825:0.593963:0.570825:0.577062:0.554609:0.577062:0.000000:0.000000
 :@0.570825:0.654318:0.574861:0.654318:0.574861:0.637929:0.570825:0.637929:0.000000
p q:@0.597499:0.592589:0.629960:0.592589:0.629960:0.577195:0.597499:0.577195:0.000000:0.000000:0.000000
(:@0.589960:0.595720:0.596096:0.595720:0.596096:0.575787:0.589960:0.575787:0.000000
) (:@0.630224:0.595720:0.655725:0.595720:0.655725:0.575787:0.630224:0.575787:0.000000:0.000000:0.000000
p:@0.657127:0.592589:0.666396:0.592589:0.666396:0.577195:0.657127:0.577195:0.000000
q:@0.695133:0.592589:0.704402:0.592589:0.704402:0.577195:0.695133:0.577195:0.000000
) (:@0.704669:0.595720:0.736188:0.595720:0.736188:0.575787:0.704669:0.575787:0.000000:0.000000:0.000000
p:@0.753557:0.592589:0.762826:0.592589:0.762826:0.577195:0.753557:0.577195:0.000000
q:@0.791565:0.592589:0.800834:0.592589:0.800834:0.577195:0.791565:0.577195:0.000000
):@0.801090:0.595720:0.807227:0.595720:0.807227:0.575787:0.801090:0.575787:0.000000
p:@0.591426:0.616712:0.600695:0.616712:0.600695:0.601319:0.591426:0.601319:0.000000
(:@0.613832:0.616712:0.618715:0.616712:0.618715:0.601043:0.613832:0.601043:0.000000
q:@0.619913:0.616712:0.629182:0.616712:0.629182:0.601319:0.619913:0.601319:0.000000
q:@0.657546:0.616712:0.666815:0.616712:0.666815:0.601319:0.657546:0.601319:0.000000
):@0.667441:0.616712:0.672325:0.616712:0.672325:0.601043:0.667441:0.601043:0.000000
[:@0.583887:0.619762:0.590024:0.619762:0.590024:0.600140:0.583887:0.600140:0.000000
]:@0.672358:0.619762:0.678495:0.619762:0.678495:0.600140:0.672358:0.600140:0.000000
p:@0.715236:0.616712:0.724505:0.616712:0.724505:0.601319:0.715236:0.601319:0.000000
q:@0.753244:0.616712:0.762513:0.616712:0.762513:0.601319:0.753244:0.601319:0.000000
(:@0.691731:0.619844:0.697867:0.619844:0.697867:0.599911:0.691731:0.599911:0.000000
):@0.762769:0.619844:0.768906:0.619844:0.768906:0.599911:0.762769:0.599911:0.000000
p V:@0.591426:0.639737:0.622587:0.639737:0.622587:0.624344:0.591426:0.624344:0.000000:0.000000:0.000000
[:@0.583887:0.642786:0.590024:0.642786:0.590024:0.623165:0.583887:0.623165:0.000000
]:@0.625294:0.642786:0.631431:0.642786:0.631431:0.623165:0.625294:0.623165:0.000000
p:@0.668174:0.639737:0.677443:0.639737:0.677443:0.624344:0.668174:0.624344:0.000000
q:@0.706180:0.639737:0.715449:0.639737:0.715449:0.624344:0.706180:0.624344:0.000000
(:@0.644667:0.642869:0.650803:0.642869:0.650803:0.622936:0.644667:0.622936:0.000000
):@0.715705:0.642869:0.721842:0.642869:0.721842:0.622936:0.715705:0.622936:0.000000
p:@0.584986:0.662761:0.594255:0.662761:0.594255:0.647368:0.584986:0.647368:0.000000
p:@0.631318:0.662761:0.640587:0.662761:0.640587:0.647368:0.631318:0.647368:0.000000
q:@0.669324:0.662761:0.678594:0.662761:0.678594:0.647368:0.669324:0.647368:0.000000
(:@0.607811:0.665893:0.613948:0.665893:0.613948:0.645960:0.607811:0.645960:0.000000
):@0.678850:0.665893:0.684986:0.665893:0.684986:0.645960:0.678850:0.645960:0.000000
(:@0.583468:0.684803:0.588352:0.684803:0.588352:0.669133:0.583468:0.669133:0.000000
p:@0.590273:0.684803:0.599542:0.684803:0.599542:0.669410:0.590273:0.669410:0.000000
p:@0.629015:0.684803:0.638284:0.684803:0.638284:0.669410:0.629015:0.669410:0.000000
):@0.639279:0.684803:0.644162:0.684803:0.644162:0.669133:0.639279:0.669133:0.000000
q:@0.672308:0.684803:0.681577:0.684803:0.681577:0.669410:0.672308:0.669410:0.000000
V:@0.583102:0.705548:0.592223:0.705548:0.592223:0.690155:0.583102:0.690155:0.000000
q:@0.623046:0.705548:0.632315:0.705548:0.632315:0.690155:0.623046:0.690155:0.000000
V:@0.583102:0.726294:0.592223:0.726294:0.592223:0.710901:0.583102:0.710901:0.000000
13. Simplifiquen:@0.526118:0.752775:0.656291:0.752775:0.656291:0.735874:0.526118:0.735874:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
  en su  cuaderno  las  siguientes  fór­:@0.656291:0.752775:0.927389:0.752775:0.927389:0.736386:0.656291:0.736386:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
mulas lógicas.:@0.554607:0.769371:0.656567:0.769371:0.656567:0.752982:0.554607:0.752982:0.000000:0.000000: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.554607:0.797447:0.569515:0.797447:0.569515:0.780546:0.554607:0.780546:0.000000:0.000000
   (:@0.569515:0.797447:0.592074:0.797917:0.592074:0.781528:0.569515:0.781058:0.000000:0.000000:0.000000:0.000000
:@0.658729:0.798788:0.668845:0.798788:0.668845:0.782040:0.658729:0.782040:0.000000
(:@0.651505:0.800466:0.657641:0.800466:0.657641:0.780066:0.651505:0.780066:0.000000
):@0.734632:0.800466:0.740768:0.800466:0.740768:0.780066:0.734632:0.780066:0.000000
∨:@0.606116:0.798595:0.617228:0.798595:0.617228:0.783022:0.606116:0.783022:0.000000
∧:@0.638254:0.798595:0.649366:0.798595:0.649366:0.783022:0.638254:0.783022:0.000000
∨∨:@0.684949:0.798595:0.721823:0.798595:0.721823:0.783022:0.684949:0.783022:0.000000:0.000000
=:@0.743420:0.798595:0.753537:0.798595:0.753537:0.783022:0.743420:0.783022:0.000000
pp:@0.594009:0.797917:0.630127:0.797917:0.630127:0.782524:0.594009:0.782524:0.000000:0.000000
pq q:@0.672842:0.797917:0.733985:0.797917:0.733985:0.782524:0.672842:0.782524:0.000000:0.000000:0.000000:0.000000
):@0.631122:0.797917:0.636006:0.797917:0.636006:0.781528:0.631122:0.781528:0.000000
  :@0.757568:0.797442:0.763520:0.797442:0.763520:0.781053:0.757568:0.781053:0.000000:0.000000
______________________:@0.761401:0.797128:0.927383:0.797128:0.927383:0.782229:0.761401:0.782229:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
b)   :@0.554609:0.827294:0.586913:0.827294:0.586913:0.810393:0.554609:0.810393:0.000000:0.000000:0.000000:0.000000:0.000000
:@0.592099:0.826859:0.602216:0.826859:0.602216:0.810110:0.592099:0.810110:0.000000
(:@0.662617:0.828537:0.668753:0.828537:0.668753:0.808136:0.662617:0.808136:0.000000
):@0.738741:0.828537:0.744878:0.828537:0.744878:0.808136:0.738741:0.808136:0.000000
∧:@0.618328:0.826665:0.629440:0.826665:0.629440:0.811092:0.618328:0.811092:0.000000
∧:@0.649379:0.826665:0.660491:0.826665:0.660491:0.811092:0.649379:0.811092:0.000000
∨:@0.682659:0.826665:0.693771:0.826665:0.693771:0.811092:0.682659:0.811092:0.000000
∨:@0.713710:0.826665:0.724822:0.826665:0.724822:0.811092:0.713710:0.811092:0.000000
=:@0.747525:0.826665:0.757641:0.826665:0.757641:0.811092:0.747525:0.811092:0.000000
pq:@0.606222:0.825988:0.641621:0.825988:0.641621:0.810595:0.606222:0.810595:0.000000:0.000000
pq:@0.670552:0.825988:0.705952:0.825988:0.705952:0.810595:0.670552:0.810595:0.000000:0.000000
p:@0.728452:0.825988:0.737721:0.825988:0.737721:0.810595:0.728452:0.810595:0.000000
(:@0.586006:0.825988:0.590890:0.825988:0.590890:0.809599:0.586006:0.809599:0.000000
):@0.642229:0.825988:0.647112:0.825988:0.647112:0.809599:0.642229:0.809599:0.000000
):@0.706578:0.825988:0.711462:0.825988:0.711462:0.809599:0.706578:0.809599:0.000000
 :@0.761365:0.827294:0.765401:0.827294:0.765401:0.810905:0.761365:0.810905:0.000000
______________________:@0.762134:0.826980:0.927414:0.826980:0.927414:0.812081:0.762134:0.812081:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Indaguemos:@0.526117:0.859058:0.634522:0.859058:0.634522:0.841043:0.526117:0.841043:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
14. Indaga :@0.526117:0.875498:0.608064:0.875498:0.608064:0.858597:0.526117:0.858597:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
las leyes que puedes aplicar y :@0.607880:0.875498:0.822286:0.875498:0.822286:0.859109:0.607880:0.859109:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
resuelve:@0.822101:0.875498:0.887759:0.875498:0.887759:0.858597:0.822101:0.858597:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.887575:0.875498:0.890781:0.875498:0.890781:0.859109:0.887575:0.859109:0.000000
 :@0.526117:0.906256:0.529931:0.906256:0.529931:0.889356:0.526117:0.889356:0.000000
p q:@0.562548:0.899674:0.594172:0.899674:0.594172:0.884281:0.562548:0.884281:0.000000:0.000000:0.000000
(:@0.555009:0.902806:0.561146:0.902806:0.561146:0.882873:0.555009:0.882873:0.000000
):@0.594426:0.902806:0.600563:0.902806:0.600563:0.882873:0.594426:0.882873:0.000000
q:@0.629924:0.899674:0.639194:0.899674:0.639194:0.884281:0.629924:0.884281:0.000000
q:@0.674528:0.899674:0.683797:0.899674:0.683797:0.884281:0.674528:0.884281:0.000000
~:@0.179937:0.183616:0.189921:0.183616:0.189921:0.168717:0.179937:0.168717:0.000000
p:@0.189921:0.183616:0.198348:0.183616:0.198348:0.169622:0.189921:0.169622:0.000000
Verdadero.:@0.179937:0.270584:0.251151:0.270584:0.251151:0.255685:0.179937:0.255685:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Verdadero.:@0.179937:0.358255:0.251151:0.358255:0.251151:0.343356:0.179937:0.343356:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Falso.:@0.179937:0.445927:0.215787:0.445927:0.215787:0.431028:0.179937:0.431028:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley de complemento.:@0.241200:0.513645:0.387010:0.513645:0.387010:0.498746:0.241200:0.498746:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De complemento:@0.762602:0.458047:0.881174:0.458047:0.881174:0.443148:0.762602:0.443148:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Distributiva:@0.789891:0.617712:0.866215:0.617712:0.866215:0.602813:0.789891:0.602813: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.762602:0.482276:0.842578:0.482276:0.842578:0.467376:0.762602:0.467376:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De complemento:@0.789891:0.639275:0.908463:0.639275:0.908463:0.624376:0.789891:0.624376:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De Morgan:@0.762602:0.507409:0.837904:0.507409:0.837904:0.492510:0.762602:0.492510:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De identidad:@0.789891:0.662623:0.876853:0.662623:0.876853:0.647724:0.789891:0.647724:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De identidad:@0.762602:0.532542:0.849563:0.532542:0.849563:0.517643:0.762602:0.517643:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Asociativa:@0.789891:0.684185:0.857152:0.684185:0.857152:0.669286:0.789891:0.669286:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Absorción:@0.762602:0.554985:0.830432:0.554985:0.830432:0.540086:0.762602:0.540086:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De complemento:@0.789891:0.706628:0.908463:0.706628:0.908463:0.691729:0.789891:0.691729:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De identidad:@0.789891:0.726770:0.876853:0.726770:0.876853:0.711871:0.789891:0.711871:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley de equivalencia.:@0.241200:0.541079:0.375487:0.541079:0.375487:0.526180:0.241200:0.526180:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley distributiva.:@0.363694:0.569595:0.467657:0.569595:0.467657:0.554696:0.363694:0.554696:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley de complemento.:@0.345668:0.596325:0.491478:0.596325:0.491478:0.581426:0.345668:0.581426:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley de condicional.:@0.355167:0.623433:0.483254:0.623433:0.483254:0.608534:0.355167:0.608534:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.176620:0.739607:0.185046:0.739607:0.185046:0.725614:0.176620:0.725614:0.000000
¬    :@0.176620:0.820867:0.212470:0.820867:0.212470:0.805968:0.176620:0.805968:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.186604:0.820867:0.195031:0.820867:0.195031:0.806873:0.186604:0.806873:0.000000
∨:@0.198699:0.820489:0.208801:0.820489:0.208801:0.805088:0.198699:0.805088:0.000000
q:@0.212470:0.820867:0.220896:0.820867:0.220896:0.806873:0.212470:0.806873:0.000000
p:@0.176620:0.902302:0.185046:0.902302:0.185046:0.888308:0.176620:0.888308:0.000000
   ¬:@0.185046:0.902302:0.212470:0.902302:0.212470:0.887403:0.185046:0.887403:0.000000:0.000000:0.000000:0.000000
∧:@0.188715:0.901925:0.198817:0.901925:0.198817:0.886523:0.188715:0.886523:0.000000
q:@0.212470:0.902302:0.220896:0.902302:0.220896:0.888308:0.212470:0.888308:0.000000
p:@0.608748:0.140855:0.617174:0.140855:0.617174:0.126862:0.608748:0.126862:0.000000
   :@0.617174:0.140855:0.634613:0.140855:0.634613:0.125956:0.617174:0.125956:0.000000:0.000000:0.000000
∨:@0.620843:0.140478:0.630945:0.140478:0.630945:0.125076:0.620843:0.125076:0.000000
q:@0.634613:0.140855:0.643040:0.140855:0.643040:0.126862:0.634613:0.126862:0.000000
Bicondicional:@0.834788:0.257231:0.924748:0.257231:0.924748:0.242332:0.834788:0.242332:0.000000: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.834788:0.283194:0.914764:0.283194:0.914764:0.268295:0.834788:0.268295:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De Morgan:@0.834788:0.312540:0.910090:0.312540:0.910090:0.297641:0.834788:0.297641:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De Morgan:@0.834788:0.341445:0.910090:0.341445:0.910090:0.326546:0.834788:0.326546:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Falso.:@0.777796:0.797707:0.813646:0.797707:0.813646:0.782808:0.777796:0.782808:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.791098:0.827480:0.799524:0.827480:0.799524:0.813486:0.791098:0.813486: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