79:@0.921538:0.966074:0.940353:0.966074:0.940353:0.949450:0.921538:0.949450:0.000000:0.000000
8. :@0.095515:0.071620:0.114256:0.071620:0.114256:0.054484:0.095515:0.054484:0.000000:0.000000:0.000000
Simplifica:@0.124004:0.071620:0.202082:0.071620:0.202082:0.054719:0.124004:0.054719:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las siguientes fórmulas lógicas apli-:@0.202082:0.071620:0.484926:0.071620:0.484926:0.055950:0.202082:0.055950:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
cando las leyes proposicionales.:@0.124004:0.088216:0.356999:0.088216:0.356999:0.072546:0.124004:0.072546:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124004:0.113954:0.139520:0.113954:0.139520:0.096818:0.124004:0.096818:0.000000:0.000000
 :@0.139520:0.113954:0.143555:0.113954:0.143555:0.098284:0.139520:0.098284:0.000000
p:@0.181464:0.112393:0.190734:0.112393:0.190734:0.097000:0.181464:0.097000:0.000000
q:@0.214184:0.112393:0.223453:0.112393:0.223453:0.097000:0.214184:0.097000:0.000000
(:@0.173926:0.115524:0.180062:0.115524:0.180062:0.095591:0.173926:0.095591:0.000000
):@0.223717:0.115524:0.229854:0.115524:0.229854:0.095591:0.223717:0.095591:0.000000
p:@0.266379:0.112393:0.275648:0.112393:0.275648:0.097000:0.266379:0.097000:0.000000
q:@0.304385:0.112393:0.313654:0.112393:0.313654:0.097000:0.304385:0.097000:0.000000
(:@0.258839:0.115524:0.264975:0.115524:0.264975:0.095591:0.258839:0.095591:0.000000
):@0.313919:0.115524:0.320055:0.115524:0.320055:0.095591:0.313919:0.095591:0.000000
b):@0.124007:0.139682:0.140666:0.139682:0.140666:0.122547:0.124007:0.122547:0.000000:0.000000
 :@0.140666:0.139682:0.144701:0.139682:0.144701:0.124013:0.140666:0.124013:0.000000
p:@0.165186:0.138126:0.174455:0.138126:0.174455:0.122733:0.165186:0.122733:0.000000
q:@0.197907:0.138126:0.207176:0.138126:0.207176:0.122733:0.197907:0.122733:0.000000
(:@0.157648:0.141258:0.163784:0.141258:0.163784:0.121324:0.157648:0.121324:0.000000
) (:@0.207439:0.141258:0.232941:0.141258:0.232941:0.121324:0.207439:0.121324:0.000000:0.000000:0.000000
q:@0.233610:0.138126:0.242879:0.138126:0.242879:0.122733:0.233610:0.122733:0.000000
p:@0.266696:0.138126:0.275965:0.138126:0.275965:0.122733:0.266696:0.122733:0.000000
):@0.276596:0.141258:0.282733:0.141258:0.282733:0.121324:0.276596:0.121324:0.000000
p:@0.318837:0.138126:0.328107:0.138126:0.328107:0.122733:0.318837:0.122733:0.000000
c):@0.124007:0.166673:0.138104:0.166673:0.138104:0.149537:0.124007:0.149537:0.000000:0.000000
 :@0.138104:0.166673:0.142140:0.166673:0.142140:0.151003:0.138104:0.151003:0.000000
p:@0.160038:0.163859:0.169307:0.163859:0.169307:0.148466:0.160038:0.148466:0.000000
q:@0.206107:0.163859:0.215376:0.163859:0.215376:0.148466:0.206107:0.148466:0.000000
(:@0.152500:0.166991:0.158636:0.166991:0.158636:0.147057:0.152500:0.147057:0.000000
) (:@0.215633:0.166991:0.241142:0.166991:0.241142:0.147057:0.215633:0.147057:0.000000:0.000000:0.000000
q p:@0.257778:0.163859:0.290605:0.163859:0.290605:0.148466:0.257778:0.148466:0.000000:0.000000:0.000000
):@0.291228:0.166991:0.297364:0.166991:0.297364:0.147057:0.291228:0.147057:0.000000
d):@0.124007:0.192406:0.140776:0.192406:0.140776:0.175270:0.124007:0.175270:0.000000:0.000000
 :@0.140776:0.192406:0.144812:0.192406:0.144812:0.176736:0.140776:0.176736:0.000000
p q:@0.197431:0.190849:0.229892:0.190849:0.229892:0.175456:0.197431:0.175456:0.000000:0.000000:0.000000
(:@0.189893:0.193981:0.196029:0.193981:0.196029:0.174048:0.189893:0.174048:0.000000
):@0.230157:0.193981:0.236293:0.193981:0.236293:0.174048:0.230157:0.174048:0.000000
q:@0.265645:0.190849:0.274914:0.190849:0.274914:0.175456:0.265645:0.175456:0.000000
p:@0.304752:0.190849:0.314021:0.190849:0.314021:0.175456:0.304752:0.175456:0.000000
e):@0.124007:0.218139:0.139523:0.218139:0.139523:0.201003:0.124007:0.201003:0.000000:0.000000
 :@0.139523:0.218139:0.143559:0.218139:0.143559:0.202469:0.139523:0.202469:0.000000
p:@0.165186:0.216583:0.174455:0.216583:0.174455:0.201190:0.165186:0.201190:0.000000
q:@0.197907:0.216583:0.207176:0.216583:0.207176:0.201190:0.197907:0.201190:0.000000
(:@0.157648:0.219714:0.163784:0.219714:0.163784:0.199781:0.157648:0.199781:0.000000
):@0.207439:0.219714:0.213575:0.219714:0.213575:0.199781:0.207439:0.199781:0.000000
p:@0.227904:0.216583:0.237173:0.216583:0.237173:0.201190:0.227904:0.201190:0.000000
q:@0.279521:0.216583:0.288790:0.216583:0.288790:0.201190:0.279521:0.201190:0.000000
p:@0.325957:0.216583:0.335226:0.216583:0.335226:0.201190:0.325957:0.201190:0.000000
(:@0.256748:0.219714:0.262884:0.219714:0.262884:0.199781:0.256748:0.199781:0.000000
):@0.335858:0.219714:0.341994:0.219714:0.341994:0.199781:0.335858:0.199781:0.000000
f):@0.124007:0.243872:0.137404:0.243872:0.137404:0.226737:0.124007:0.226737:0.000000:0.000000
 :@0.137404:0.243872:0.141440:0.243872:0.141440:0.228203:0.137404:0.228203:0.000000
p:@0.165186:0.242316:0.174455:0.242316:0.174455:0.226923:0.165186:0.226923:0.000000
q:@0.203194:0.242316:0.212463:0.242316:0.212463:0.226923:0.203194:0.226923:0.000000
(:@0.157648:0.245448:0.163784:0.245448:0.163784:0.225514:0.157648:0.225514:0.000000
):@0.212728:0.245448:0.218864:0.245448:0.218864:0.225514:0.212728:0.225514:0.000000
q:@0.232459:0.242316:0.241728:0.242316:0.241728:0.226923:0.232459:0.226923:0.000000
p:@0.271564:0.242316:0.280833:0.242316:0.280833:0.226923:0.271564:0.226923:0.000000
g):@0.124007:0.269606:0.140574:0.269606:0.140574:0.252470:0.124007:0.252470:0.000000:0.000000
 :@0.140574:0.269606:0.144609:0.269606:0.144609:0.253936:0.140574:0.253936:0.000000
p q:@0.197431:0.268049:0.229892:0.268049:0.229892:0.252656:0.197431:0.252656:0.000000:0.000000:0.000000
(:@0.189893:0.271181:0.196029:0.271181:0.196029:0.251247:0.189893:0.251247:0.000000
):@0.230157:0.271181:0.236293:0.271181:0.236293:0.251247:0.230157:0.251247:0.000000
q:@0.272765:0.268049:0.282034:0.268049:0.282034:0.252656:0.272765:0.252656:0.000000
q:@0.301611:0.268049:0.310880:0.268049:0.310880:0.252656:0.301611:0.252656:0.000000
h) :@0.124007:0.294081:0.144314:0.294081:0.144314:0.276946:0.124007:0.276946:0.000000:0.000000:0.000000
p:@0.197431:0.293782:0.206700:0.293782:0.206700:0.278389:0.197431:0.278389:0.000000
q:@0.230150:0.293782:0.239419:0.293782:0.239419:0.278389:0.230150:0.278389:0.000000
(:@0.173926:0.296914:0.180062:0.296914:0.180062:0.276981:0.173926:0.276981:0.000000
):@0.239676:0.296914:0.245812:0.296914:0.245812:0.276981:0.239676:0.276981:0.000000
p:@0.283026:0.293782:0.292295:0.293782:0.292295:0.278389:0.283026:0.278389:0.000000
9. :@0.095515:0.317805:0.114256:0.317805:0.114256:0.300670:0.095515:0.300670:0.000000:0.000000:0.000000
Identifica:@0.124004:0.317805:0.198654:0.317805:0.198654:0.300905:0.124004:0.300905: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.198654:0.317805:0.344008:0.317805:0.344008:0.302136:0.198654:0.302136:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124004:0.341524:0.143242:0.341524:0.143242:0.324389:0.124004:0.324389:0.000000:0.000000:0.000000
¬(¬ ) = :@0.152493:0.341524:0.212549:0.341524:0.212549:0.325855:0.152493:0.325855:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.179342:0.341524:0.188611:0.341524:0.188611:0.325163:0.179342:0.325163:0.000000
q:@0.212549:0.341524:0.221818:0.341524:0.221818:0.325163:0.212549:0.325163:0.000000
b) :@0.124004:0.365243:0.144385:0.365243:0.144385:0.348108:0.124004:0.348108:0.000000:0.000000:0.000000
r r:@0.152493:0.365243:0.179695:0.365255:0.179695:0.348893:0.152493:0.348882:0.000000:0.000000:0.000000
   :@0.157782:0.365243:0.174407:0.365255:0.174407:0.349585:0.157782:0.349574:0.000000:0.000000:0.000000
c) :@0.124007:0.388974:0.141827:0.388974:0.141827:0.371838:0.124007:0.371838:0.000000:0.000000:0.000000
(     )   (     )       (     ):@0.152496:0.388974:0.347204:0.388979:0.347204:0.373309:0.152496:0.373304:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.157380:0.388974:0.162668:0.388974:0.162668:0.372612:0.157380:0.372612:0.000000
∧:@0.166704:0.389651:0.177816:0.389651:0.177816:0.374078:0.166704:0.374078:0.000000
q:@0.181851:0.388974:0.191121:0.388974:0.191121:0.372612:0.181851:0.372612:0.000000
∨:@0.200040:0.389651:0.211151:0.389651:0.211151:0.374078:0.200040:0.374078:0.000000
z:@0.220070:0.388974:0.227312:0.388974:0.227312:0.372612:0.220070:0.372612:0.000000
∧:@0.231348:0.389651:0.242460:0.389651:0.242460:0.374078:0.231348:0.374078:0.000000
q:@0.246496:0.388974:0.255765:0.388974:0.255765:0.372612:0.246496:0.372612:0.000000
q:@0.277271:0.388979:0.286541:0.388979:0.286541:0.372617:0.277271:0.372617:0.000000
∧ ∨:@0.290576:0.389656:0.331043:0.389656:0.331043:0.374084:0.290576:0.374084:0.000000:0.000000:0.000000
r:@0.310607:0.388979:0.315896:0.388979:0.315896:0.372617:0.310607:0.372617:0.000000
z:@0.335079:0.388979:0.342321:0.388979:0.342321:0.372617:0.335079:0.372617:0.000000
d) :@0.124009:0.412698:0.144500:0.412698:0.144500:0.395562:0.124009:0.395562:0.000000:0.000000:0.000000
p:@0.152498:0.412698:0.161767:0.412698:0.161767:0.396336:0.152498:0.396336:0.000000
   (    ¬ )       :@0.161767:0.412698:0.286061:0.412698:0.286061:0.397028:0.161767:0.397028:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.165803:0.413375:0.176915:0.413375:0.176915:0.397802:0.165803:0.397802:0.000000
q:@0.185834:0.412698:0.195103:0.412698:0.195103:0.396336:0.185834:0.396336:0.000000
∨:@0.199138:0.413375:0.210250:0.413375:0.210250:0.397802:0.199138:0.397802:0.000000
q:@0.225269:0.412698:0.234538:0.412698:0.234538:0.396336:0.225269:0.396336:0.000000
≡ ∧:@0.243457:0.413375:0.282026:0.413375:0.282026:0.397802:0.243457:0.397802:0.000000:0.000000:0.000000
p:@0.257609:0.412698:0.266878:0.412698:0.266878:0.396336:0.257609:0.396336:0.000000
V:@0.286061:0.412698:0.295183:0.412698:0.295183:0.396336:0.286061:0.396336:0.000000
e) :@0.124009:0.436417:0.143247:0.436417:0.143247:0.419281:0.124009:0.419281:0.000000:0.000000:0.000000
z:@0.152498:0.436417:0.159740:0.436417:0.159740:0.420055:0.152498:0.420055:0.000000
   (     )       (¬     ):@0.159740:0.436417:0.336572:0.436417:0.336572:0.420747:0.159740:0.420747:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.163776:0.437094:0.174887:0.437094:0.174887:0.421521:0.163776:0.421521:0.000000
p:@0.183806:0.436417:0.193076:0.436417:0.193076:0.420055:0.183806:0.420055:0.000000
→:@0.197111:0.437094:0.215299:0.437094:0.215299:0.421521:0.197111:0.421521:0.000000
q:@0.219335:0.436417:0.228604:0.436417:0.228604:0.420055:0.219335:0.420055:0.000000
≡ ∨:@0.237523:0.437094:0.274065:0.437094:0.274065:0.421521:0.237523:0.421521:0.000000:0.000000:0.000000
z:@0.251675:0.436417:0.258918:0.436417:0.258918:0.420055:0.251675:0.420055:0.000000
p:@0.293967:0.436417:0.303236:0.436417:0.303236:0.420055:0.293967:0.420055:0.000000
∨:@0.307272:0.437094:0.318383:0.437094:0.318383:0.421521:0.307272:0.421521:0.000000
q:@0.322419:0.436417:0.331688:0.436417:0.331688:0.420055:0.322419:0.420055:0.000000
f) :@0.124009:0.460136:0.141126:0.460136:0.141126:0.443000:0.124009:0.443000:0.000000:0.000000:0.000000
z:@0.152479:0.460136:0.159722:0.460136:0.159722:0.443774:0.152479:0.443774:0.000000
   (     )      ¬     :@0.159722:0.460136:0.317517:0.460136:0.317517:0.444466:0.159722:0.444466:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.163757:0.460813:0.174869:0.460813:0.174869:0.445240:0.163757:0.445240:0.000000
p:@0.183788:0.460136:0.193057:0.460136:0.193057:0.443774:0.183788:0.443774:0.000000
→:@0.197093:0.460813:0.215281:0.460813:0.215281:0.445240:0.197093:0.445240:0.000000
q:@0.219317:0.460136:0.228586:0.460136:0.228586:0.443774:0.219317:0.443774:0.000000
≡ ∨:@0.237505:0.460813:0.274047:0.460813:0.274047:0.445240:0.237505:0.445240:0.000000:0.000000:0.000000
z:@0.251657:0.460136:0.258899:0.460136:0.258899:0.443774:0.251657:0.443774:0.000000
p:@0.289065:0.460136:0.298334:0.460136:0.298334:0.443774:0.289065:0.443774:0.000000
∨:@0.302370:0.460813:0.313482:0.460813:0.313482:0.445240:0.302370:0.445240:0.000000
q:@0.317517:0.460136:0.326786:0.460136:0.326786:0.443774:0.317517:0.443774:0.000000
g):@0.124009:0.483855:0.140575:0.483855:0.140575:0.466719:0.124009:0.466719:0.000000:0.000000
  z:@0.140575:0.483855:0.159722:0.483855:0.159722:0.467493:0.140575:0.467493:0.000000:0.000000:0.000000
   (     )   ¬        :@0.159722:0.483855:0.319544:0.483855:0.319544:0.468185:0.159722:0.468185:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.163757:0.484532:0.174869:0.484532:0.174869:0.468959:0.163757:0.468959:0.000000
p:@0.183788:0.483855:0.193057:0.483855:0.193057:0.467493:0.183788:0.467493:0.000000
→:@0.197093:0.484532:0.215281:0.484532:0.215281:0.468959:0.197093:0.468959:0.000000
q:@0.219317:0.483855:0.228586:0.483855:0.228586:0.467493:0.219317:0.467493:0.000000
≡:@0.237505:0.484532:0.247621:0.484532:0.247621:0.468959:0.237505:0.468959:0.000000
p:@0.262640:0.483855:0.271909:0.483855:0.271909:0.467493:0.262640:0.467493:0.000000
∨ ∨:@0.275945:0.484532:0.315509:0.484532:0.315509:0.468959:0.275945:0.468959:0.000000:0.000000:0.000000
q:@0.291092:0.483855:0.300361:0.483855:0.300361:0.467493:0.291092:0.467493:0.000000
z:@0.319544:0.483855:0.326786:0.483855:0.326786:0.467493:0.319544:0.467493:0.000000
h) :@0.124009:0.507574:0.144316:0.507574:0.144316:0.490438:0.124009:0.490438:0.000000:0.000000:0.000000
p:@0.152479:0.507574:0.161749:0.507574:0.161749:0.491212:0.152479:0.491212:0.000000
   (     )           r:@0.161749:0.507574:0.304968:0.507574:0.304968:0.491904:0.161749:0.491904:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.165784:0.508251:0.176896:0.508251:0.176896:0.492678:0.165784:0.492678:0.000000
p:@0.185815:0.507574:0.195084:0.507574:0.195084:0.491212:0.185815:0.491212:0.000000
∧:@0.199120:0.508251:0.210232:0.508251:0.210232:0.492678:0.199120:0.492678:0.000000
q:@0.214267:0.507574:0.223536:0.507574:0.223536:0.491212:0.214267:0.491212:0.000000
∧ ≡ ∧:@0.232455:0.508251:0.295496:0.508251:0.295496:0.492678:0.232455:0.492678:0.000000:0.000000:0.000000:0.000000:0.000000
r p:@0.247603:0.507574:0.280349:0.507574:0.280349:0.491212:0.247603:0.491212:0.000000:0.000000:0.000000
10. :@0.095520:0.531293:0.124486:0.531293:0.124486:0.514157:0.095520:0.514157:0.000000:0.000000:0.000000:0.000000
Calcula:@0.124009:0.531293:0.181632:0.531293:0.181632:0.514392:0.124009:0.514392:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 o :@0.181632:0.531293:0.202695:0.531293:0.202695:0.515623:0.181632:0.515623:0.000000:0.000000:0.000000
simplifica:@0.205883:0.531293:0.282081:0.531293:0.282081:0.514392:0.205883:0.514392:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las siguientes expresiones :@0.282081:0.531293:0.488929:0.531293:0.488929:0.515623:0.282081:0.515623:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124009:0.547889:0.484894:0.547889:0.484894:0.532219:0.124009:0.532219:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124009:0.571608:0.143247:0.571608:0.143247:0.554472:0.124009:0.554472:0.000000:0.000000:0.000000
¬¬  :@0.152479:0.571608:0.187750:0.571608:0.187750:0.555938:0.152479:0.555938:0.000000:0.000000:0.000000:0.000000
p:@0.174445:0.571608:0.183714:0.571608:0.183714:0.555247:0.174445:0.555247:0.000000
≡:@0.187750:0.572286:0.197867:0.572286:0.197867:0.556713:0.187750:0.556713:0.000000
b) :@0.124009:0.595327:0.144390:0.595327:0.144390:0.578191:0.124009:0.578191:0.000000:0.000000:0.000000
¬(:@0.152479:0.595327:0.168346:0.595327:0.168346:0.579657:0.152479:0.579657:0.000000:0.000000
p:@0.168346:0.595327:0.177615:0.595327:0.177615:0.578966:0.168346:0.578966:0.000000
 ∧:@0.177615:0.596005:0.193334:0.596005:0.193334:0.580432:0.177615:0.580432:0.000000:0.000000
 ¬ ) :@0.193334:0.595327:0.226540:0.595327:0.226540:0.579657:0.193334:0.579657:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.208352:0.595327:0.217621:0.595327:0.217621:0.578966:0.208352:0.578966:0.000000
≡:@0.226540:0.596005:0.236657:0.596005:0.236657:0.580432:0.226540:0.580432:0.000000
c) :@0.124009:0.619046:0.141828:0.619046:0.141828:0.601910:0.124009:0.601910:0.000000:0.000000:0.000000
¬(¬     ) :@0.152479:0.619046:0.225969:0.619046:0.225969:0.603376:0.152479:0.603376:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.179329:0.619046:0.188598:0.619046:0.188598:0.602685:0.179329:0.602685:0.000000
∨:@0.192633:0.619724:0.203745:0.619724:0.203745:0.604151:0.192633:0.604151:0.000000
q:@0.207781:0.619046:0.217050:0.619046:0.217050:0.602685:0.207781:0.602685:0.000000
≡:@0.225969:0.619724:0.236086:0.619724:0.236086:0.604151:0.225969:0.604151:0.000000
d) :@0.124009:0.642765:0.144500:0.642765:0.144500:0.625629:0.124009:0.625629:0.000000:0.000000:0.000000
¬(¬    ¬ ) :@0.152479:0.642765:0.236952:0.642765:0.236952:0.627095:0.152479:0.627095:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.179329:0.642765:0.188598:0.642765:0.188598:0.626404:0.179329:0.626404:0.000000
∧:@0.192633:0.643443:0.203745:0.643443:0.203745:0.627870:0.192633:0.627870:0.000000
q:@0.218764:0.642765:0.228033:0.642765:0.228033:0.626404:0.218764:0.626404:0.000000
≡:@0.236952:0.643443:0.247069:0.643443:0.247069:0.627870:0.236952:0.627870:0.000000
e) :@0.124009:0.666484:0.143247:0.666484:0.143247:0.649348:0.124009:0.649348:0.000000:0.000000:0.000000
[    (     )]  (  :@0.152479:0.666484:0.270932:0.666484:0.270932:0.650814:0.152479:0.650814:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.157363:0.666484:0.166632:0.666484:0.166632:0.650123:0.157363:0.650123:0.000000
∧:@0.170668:0.667162:0.181779:0.667162:0.181779:0.651589:0.170668:0.651589:0.000000
q:@0.190698:0.666484:0.199968:0.666484:0.199968:0.650123:0.190698:0.650123:0.000000
∧:@0.204003:0.667162:0.215115:0.667162:0.215115:0.651589:0.204003:0.651589:0.000000
F:@0.219151:0.666484:0.227204:0.666484:0.227204:0.650123:0.219151:0.650123:0.000000
∨  ∨  ≡:@0.241006:0.667162:0.314809:0.667162:0.314809:0.651589:0.241006:0.651589:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
r:@0.261608:0.666484:0.266897:0.666484:0.266897:0.650123:0.261608:0.650123:0.000000
V:@0.286651:0.666484:0.295773:0.666484:0.295773:0.650123:0.286651:0.650123:0.000000
) :@0.295773:0.666484:0.304692:0.666484:0.304692:0.650814:0.295773:0.650814:0.000000:0.000000
f) :@0.124009:0.690203:0.141126:0.690203:0.141126:0.673067:0.124009:0.673067:0.000000:0.000000:0.000000
p:@0.152479:0.690203:0.161749:0.690203:0.161749:0.673842:0.152479:0.673842:0.000000
   [(     )   (  :@0.161749:0.690203:0.265478:0.690203:0.265478:0.674533:0.161749:0.674533:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.165784:0.690881:0.176896:0.690881:0.176896:0.675308:0.165784:0.675308:0.000000
q:@0.190698:0.690203:0.199968:0.690203:0.199968:0.673842:0.190698:0.673842:0.000000
∧:@0.204003:0.690881:0.215115:0.690881:0.215115:0.675308:0.204003:0.675308:0.000000
F:@0.219151:0.690203:0.227204:0.690203:0.227204:0.673842:0.219151:0.673842:0.000000
∨ ∨ :@0.236123:0.690881:0.281197:0.690881:0.281197:0.675308:0.236123:0.675308:0.000000:0.000000:0.000000:0.000000
r:@0.256153:0.690203:0.261442:0.690203:0.261442:0.673842:0.256153:0.673842:0.000000
V:@0.281197:0.690203:0.290318:0.690203:0.290318:0.673842:0.281197:0.673842:0.000000
)] :@0.290318:0.690203:0.304121:0.690203:0.304121:0.674533:0.290318:0.674533:0.000000:0.000000:0.000000
≡:@0.304121:0.690881:0.314237:0.690881:0.314237:0.675308:0.304121:0.675308:0.000000
g) :@0.124009:0.713922:0.144298:0.713922:0.144298:0.696786:0.124009:0.696786:0.000000:0.000000:0.000000
p:@0.152479:0.713922:0.161749:0.713922:0.161749:0.697561:0.152479:0.697561:0.000000
   (     ) :@0.161749:0.713922:0.238315:0.713922:0.238315:0.698252:0.161749:0.698252:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.165784:0.714600:0.176896:0.714600:0.176896:0.699027:0.165784:0.699027:0.000000
p:@0.185815:0.713922:0.195084:0.713922:0.195084:0.697561:0.185815:0.697561:0.000000
→:@0.199120:0.714600:0.217308:0.714600:0.217308:0.699027:0.199120:0.699027:0.000000
F:@0.221344:0.713922:0.229396:0.713922:0.229396:0.697561:0.221344:0.697561:0.000000
≡:@0.238315:0.714600:0.248432:0.714600:0.248432:0.699027:0.238315:0.699027:0.000000
h) :@0.124009:0.737641:0.144316:0.737641:0.144316:0.720505:0.124009:0.720505:0.000000:0.000000:0.000000
p:@0.152479:0.737641:0.161749:0.737641:0.161749:0.721280:0.152479:0.721280:0.000000
   (     ) :@0.161749:0.737641:0.239384:0.737641:0.239384:0.721971:0.161749:0.721971:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.165784:0.738319:0.176896:0.738319:0.176896:0.722746:0.165784:0.722746:0.000000
p:@0.185815:0.737641:0.195084:0.737641:0.195084:0.721280:0.185815:0.721280:0.000000
→:@0.199120:0.738319:0.217308:0.738319:0.217308:0.722746:0.199120:0.722746:0.000000
V:@0.221344:0.737641:0.230465:0.737641:0.230465:0.721280:0.221344:0.721280:0.000000
≡:@0.239384:0.738319:0.249501:0.738319:0.249501:0.722746:0.239384:0.722746:0.000000
i) :@0.124009:0.761360:0.138567:0.761360:0.138567:0.744224:0.124009:0.744224:0.000000:0.000000:0.000000
¬(     )   (     ) :@0.152479:0.761360:0.288733:0.761360:0.288733:0.745690:0.152479:0.745690:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.168346:0.761360:0.177615:0.761360:0.177615:0.744999:0.168346:0.744999:0.000000
∧:@0.181650:0.762038:0.192762:0.762038:0.192762:0.746465:0.181650:0.746465:0.000000
q:@0.196798:0.761360:0.206067:0.761360:0.206067:0.744999:0.196798:0.744999:0.000000
∨:@0.214986:0.762038:0.226098:0.762038:0.226098:0.746465:0.214986:0.746465:0.000000
p:@0.235017:0.761360:0.244286:0.761360:0.244286:0.744999:0.235017:0.744999:0.000000
→:@0.248322:0.762038:0.266510:0.762038:0.266510:0.746465:0.248322:0.746465:0.000000
q:@0.270545:0.761360:0.279814:0.761360:0.279814:0.744999:0.270545:0.744999:0.000000
≡:@0.288733:0.762038:0.298850:0.762038:0.298850:0.746465:0.288733:0.746465:0.000000
j) :@0.124009:0.785079:0.138880:0.785079:0.138880:0.767943:0.124009:0.767943:0.000000:0.000000:0.000000
¬(     )   (     ) :@0.152479:0.785079:0.281657:0.785079:0.281657:0.769409:0.152479:0.769409:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.168346:0.785079:0.177615:0.785079:0.177615:0.768718:0.168346:0.768718:0.000000
∨:@0.181650:0.785757:0.192762:0.785757:0.192762:0.770184:0.181650:0.770184:0.000000
q:@0.196798:0.785079:0.206067:0.785079:0.206067:0.768718:0.196798:0.768718:0.000000
∧:@0.214986:0.785757:0.226098:0.785757:0.226098:0.770184:0.214986:0.770184:0.000000
p:@0.235017:0.785079:0.244286:0.785079:0.244286:0.768718:0.235017:0.768718:0.000000
∨:@0.248322:0.785757:0.259433:0.785757:0.259433:0.770184:0.248322:0.770184:0.000000
q:@0.263469:0.785079:0.272738:0.785079:0.272738:0.768718:0.263469:0.768718:0.000000
≡:@0.281657:0.785757:0.291774:0.785757:0.291774:0.770184:0.281657:0.770184:0.000000
k) :@0.124009:0.808798:0.143504:0.808798:0.143504:0.791662:0.124009:0.791662:0.000000:0.000000:0.000000
(¬    ¬ )   (     ) :@0.152479:0.808798:0.292640:0.808798:0.292640:0.793128:0.152479:0.793128:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.168346:0.808798:0.177615:0.808798:0.177615:0.792437:0.168346:0.792437:0.000000
∨:@0.181650:0.809476:0.192762:0.809476:0.192762:0.793903:0.181650:0.793903:0.000000
q:@0.207781:0.808798:0.217050:0.808798:0.217050:0.792437:0.207781:0.792437:0.000000
∨:@0.225969:0.809476:0.237081:0.809476:0.237081:0.793903:0.225969:0.793903:0.000000
p:@0.246000:0.808798:0.255269:0.808798:0.255269:0.792437:0.246000:0.792437:0.000000
∧:@0.259304:0.809476:0.270416:0.809476:0.270416:0.793903:0.259304:0.793903:0.000000
q:@0.274452:0.808798:0.283721:0.808798:0.283721:0.792437:0.274452:0.792437:0.000000
≡:@0.292640:0.809476:0.302757:0.809476:0.302757:0.793903:0.292640:0.793903:0.000000
l) :@0.124009:0.832517:0.138583:0.832517:0.138583:0.815381:0.124009:0.815381:0.000000:0.000000:0.000000
¬(     )   ¬(¬    ¬ ) :@0.152479:0.832517:0.314606:0.832517:0.314606:0.816847:0.152479:0.816847:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.168346:0.832517:0.177615:0.832517:0.177615:0.816156:0.168346:0.816156:0.000000
∨:@0.181650:0.833195:0.192762:0.833195:0.192762:0.817622:0.181650:0.817622:0.000000
q:@0.196798:0.832517:0.206067:0.832517:0.206067:0.816156:0.196798:0.816156:0.000000
∨:@0.214986:0.833195:0.226098:0.833195:0.226098:0.817622:0.214986:0.817622:0.000000
p:@0.256983:0.832517:0.266252:0.832517:0.266252:0.816156:0.256983:0.816156:0.000000
∧:@0.270287:0.833195:0.281399:0.833195:0.281399:0.817622:0.270287:0.817622:0.000000
q:@0.296418:0.832517:0.305687:0.832517:0.305687:0.816156:0.296418:0.816156:0.000000
≡:@0.314606:0.833195:0.324723:0.833195:0.324723:0.817622:0.314606:0.817622:0.000000
11. :@0.095520:0.856236:0.124486:0.856236:0.124486:0.839100:0.095520:0.839100:0.000000:0.000000:0.000000:0.000000
Escribe:@0.124009:0.856236:0.181079:0.856236:0.181079:0.839335:0.124009:0.839335:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la propiedad que se ha aplicado en la :@0.181079:0.856236:0.488911:0.856236:0.488911:0.840566:0.181079:0.840566:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.124009:0.872832:0.414904:0.872832:0.414904:0.857162:0.124009:0.857162:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼:@0.126994:0.898806:0.137111:0.898806:0.137111:0.882057:0.126994:0.882057:0.000000
q:@0.152811:0.897934:0.162080:0.897934:0.162080:0.882541:0.152811:0.882541:0.000000
∨:@0.161196:0.898612:0.172308:0.898612:0.172308:0.883039:0.161196:0.883039:0.000000
∼:@0.174501:0.898806:0.184617:0.898806:0.184617:0.882057:0.174501:0.882057:0.000000
p:@0.188524:0.897934:0.197793:0.897934:0.197793:0.882541:0.188524:0.882541:0.000000
(:@0.145995:0.901167:0.152131:0.901167:0.152131:0.881233:0.145995:0.881233:0.000000
):@0.198403:0.901167:0.204539:0.901167:0.204539:0.881233:0.198403:0.881233:0.000000
↔ ⎤:@0.206303:0.898712:0.244946:0.896624:0.244946:0.881051:0.206303:0.883140:0.000000:0.000000:0.000000
p:@0.228398:0.898035:0.237667:0.898035:0.237667:0.882642:0.228398:0.882642:0.000000
⎡:@0.139135:0.896624:0.146211:0.896624:0.146211:0.881051:0.139135:0.881051:0.000000
⎣:@0.139135:0.901423:0.146211:0.901423:0.146211:0.885850:0.139135:0.885850:0.000000
⎦:@0.237870:0.901423:0.244946:0.901423:0.244946:0.885850:0.237870:0.885850:0.000000
∼:@0.126991:0.925198:0.137107:0.925198:0.137107:0.908449:0.126991:0.908449:0.000000
q:@0.160750:0.924326:0.170019:0.924326:0.170019:0.908933:0.160750:0.908933:0.000000
∨:@0.169135:0.925004:0.180247:0.925004:0.180247:0.909431:0.169135:0.909431:0.000000
∼:@0.182439:0.925198:0.192556:0.925198:0.192556:0.908449:0.182439:0.908449:0.000000
p:@0.196463:0.924326:0.205732:0.924326:0.205732:0.908933:0.196463:0.908933:0.000000
(:@0.153952:0.927452:0.160088:0.927452:0.160088:0.907519:0.153952:0.907519:0.000000
):@0.206360:0.927452:0.212497:0.927452:0.212497:0.907519:0.206360:0.907519:0.000000
→ ⎤ ∧ → ∨:@0.214628:0.924998:0.324954:0.924998:0.324954:0.909425:0.214628:0.909425:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.236354:0.924320:0.245623:0.924320:0.245623:0.908927:0.236354:0.908927:0.000000
⎡:@0.147090:0.922909:0.154166:0.922909:0.154166:0.907336:0.147090:0.907336:0.000000
⎣:@0.147090:0.927708:0.154166:0.927708:0.154166:0.912135:0.147090:0.912135:0.000000
⎦:@0.245826:0.927708:0.252902:0.927708:0.252902:0.912135:0.245826:0.912135:0.000000
p:@0.266299:0.924320:0.275568:0.924320:0.275568:0.908927:0.266299:0.908927:0.000000
q:@0.305457:0.924320:0.314726:0.924320:0.314726:0.908927:0.305457:0.908927:0.000000
∼:@0.327147:0.925191:0.337263:0.925191:0.337263:0.908443:0.327147:0.908443:0.000000
p:@0.341170:0.924320:0.350439:0.924320:0.350439:0.908927:0.341170:0.908927:0.000000
(:@0.298651:0.927452:0.304787:0.927452:0.304787:0.907519:0.298651:0.907519:0.000000
):@0.351059:0.927452:0.357195:0.927452:0.357195:0.907519:0.351059:0.907519:0.000000
⎤:@0.357075:0.922915:0.364151:0.922915:0.364151:0.907342:0.357075:0.907342:0.000000
⎦:@0.357075:0.927714:0.364151:0.927714:0.364151:0.912141:0.357075:0.912141:0.000000
{:@0.139136:0.929026:0.147981:0.929026:0.147981:0.905978:0.139136:0.905978:0.000000
}:@0.362737:0.929026:0.371582:0.929026:0.371582:0.905978:0.362737:0.905978:0.000000
∼ ∼:@0.126991:0.952538:0.164436:0.952538:0.164436:0.935789:0.126991:0.935789:0.000000:0.000000:0.000000
q:@0.174055:0.951666:0.183324:0.951666:0.183324:0.936273:0.174055:0.936273:0.000000
∨:@0.182439:0.952344:0.193551:0.952344:0.193551:0.936771:0.182439:0.936771:0.000000
∼:@0.195744:0.952538:0.205861:0.952538:0.205861:0.935789:0.195744:0.935789:0.000000
p:@0.209768:0.951666:0.219037:0.951666:0.219037:0.936273:0.209768:0.936273:0.000000
(:@0.167250:0.954798:0.173386:0.954798:0.173386:0.934865:0.167250:0.934865:0.000000
):@0.219658:0.954798:0.225795:0.954798:0.225795:0.934865:0.219658:0.934865:0.000000
∨ ⎤ ∧ ⎡:@0.226825:0.952344:0.275259:0.950262:0.275259:0.934689:0.226825:0.936771:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.240130:0.951666:0.249399:0.951666:0.249399:0.936273:0.240130:0.936273:0.000000
⎡:@0.147107:0.950256:0.154183:0.950256:0.154183:0.934683:0.147107:0.934683:0.000000
⎣:@0.147107:0.955055:0.154183:0.955055:0.154183:0.939482:0.147107:0.939482:0.000000
⎦ ⎣:@0.249602:0.955055:0.275259:0.955061:0.275259:0.939488:0.249602:0.939482:0.000000:0.000000:0.000000
∼:@0.275400:0.952538:0.285517:0.952538:0.285517:0.935789:0.275400:0.935789:0.000000
p:@0.289424:0.951666:0.298693:0.951666:0.298693:0.936273:0.289424:0.936273:0.000000
∨ ∨:@0.300056:0.952344:0.338552:0.952344:0.338552:0.936771:0.300056:0.936771:0.000000:0.000000:0.000000
q:@0.319055:0.951666:0.328324:0.951666:0.328324:0.936273:0.319055:0.936273:0.000000
∼:@0.340745:0.952538:0.350861:0.952538:0.350861:0.935789:0.340745:0.935789:0.000000
p:@0.354768:0.951666:0.364037:0.951666:0.364037:0.936273:0.354768:0.936273:0.000000
(:@0.312262:0.954798:0.318399:0.954798:0.318399:0.934865:0.312262:0.934865:0.000000
):@0.364670:0.954798:0.370807:0.954798:0.370807:0.934865:0.364670:0.934865:0.000000
⎤:@0.370678:0.950262:0.377754:0.950262:0.377754:0.934689:0.370678:0.934689:0.000000
⎦:@0.370678:0.955061:0.377754:0.955061:0.377754:0.939488:0.370678:0.939488:0.000000
{:@0.139136:0.956372:0.147981:0.956372:0.147981:0.933324:0.139136:0.933324:0.000000
}:@0.376337:0.956372:0.385182:0.956372:0.385182:0.933324:0.376337:0.933324:0.000000
∼ ∼:@0.545843:0.077914:0.575327:0.077914:0.575327:0.061165:0.545843:0.061165:0.000000:0.000000:0.000000
q:@0.584946:0.077042:0.594215:0.077042:0.594215:0.061649:0.584946:0.061649:0.000000
∨:@0.593331:0.077720:0.604442:0.077720:0.604442:0.062147:0.593331:0.062147:0.000000
∼:@0.606635:0.077914:0.616752:0.077914:0.616752:0.061165:0.606635:0.061165:0.000000
p:@0.620659:0.077042:0.629928:0.077042:0.629928:0.061649:0.620659:0.061649:0.000000
(:@0.578144:0.080174:0.584281:0.080174:0.584281:0.060241:0.578144:0.060241:0.000000
):@0.630553:0.080174:0.636689:0.080174:0.636689:0.060241:0.630553:0.060241:0.000000
∨ ⎤ ∨ ⎡:@0.637719:0.077720:0.699241:0.075637:0.699241:0.060064:0.637719:0.062147:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.651024:0.077042:0.660293:0.077042:0.660293:0.061649:0.651024:0.061649:0.000000
⎡:@0.558001:0.075632:0.565078:0.075632:0.565078:0.060059:0.558001:0.060059:0.000000
⎣:@0.558001:0.080431:0.565078:0.080431:0.565078:0.064858:0.558001:0.064858:0.000000
⎦:@0.660496:0.080431:0.667572:0.080431:0.667572:0.064858:0.660496:0.064858:0.000000
∼ ∼:@0.680029:0.077914:0.709513:0.077914:0.709513:0.061165:0.680029:0.061165:0.000000:0.000000:0.000000
p:@0.713420:0.077042:0.722689:0.077042:0.722689:0.061649:0.713420:0.061649:0.000000
∨ ∨:@0.724053:0.077720:0.762548:0.077720:0.762548:0.062147:0.724053:0.062147:0.000000:0.000000:0.000000
q:@0.743052:0.077042:0.752321:0.077042:0.752321:0.061649:0.743052:0.061649:0.000000
∼:@0.764741:0.077914:0.774858:0.077914:0.774858:0.061165:0.764741:0.061165:0.000000
p:@0.778764:0.077042:0.788034:0.077042:0.788034:0.061649:0.778764:0.061649:0.000000
(:@0.736245:0.080174:0.742382:0.080174:0.742382:0.060241:0.736245:0.060241:0.000000
):@0.788653:0.080174:0.794790:0.080174:0.794790:0.060241:0.788653:0.060241:0.000000
⎣:@0.692165:0.080436:0.699241:0.080436:0.699241:0.064863:0.692165:0.064863:0.000000
⎤:@0.794659:0.075637:0.801735:0.075637:0.801735:0.060064:0.794659:0.060064:0.000000
⎦:@0.794659:0.080436:0.801735:0.080436:0.801735:0.064863:0.794659:0.064863:0.000000
∼ ∼:@0.545831:0.103145:0.581765:0.103145:0.581765:0.086397:0.545831:0.086397:0.000000:0.000000:0.000000
q:@0.584953:0.102274:0.594222:0.102274:0.594222:0.086881:0.584953:0.086881:0.000000
∧:@0.593337:0.102952:0.604449:0.102952:0.604449:0.087379:0.593337:0.087379:0.000000
∼∼:@0.606642:0.103145:0.626710:0.103145:0.626710:0.086397:0.606642:0.086397:0.000000:0.000000
p:@0.630616:0.102274:0.639885:0.102274:0.639885:0.086881:0.630616:0.086881:0.000000
(:@0.564846:0.105398:0.570983:0.105398:0.570983:0.085465:0.564846:0.085465:0.000000
):@0.640492:0.105398:0.646628:0.105398:0.646628:0.085465:0.640492:0.085465:0.000000
∨ ⎤ ∨ ⎡:@0.647667:0.102944:0.709188:0.100862:0.709188:0.085289:0.647667:0.087371:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.660972:0.102266:0.670241:0.102266:0.670241:0.086873:0.660972:0.086873:0.000000
⎡:@0.557998:0.100856:0.565074:0.100856:0.565074:0.085283:0.557998:0.085283:0.000000
⎣:@0.557998:0.105655:0.565074:0.105655:0.565074:0.090082:0.557998:0.090082:0.000000
⎦:@0.670443:0.105655:0.677520:0.105655:0.677520:0.090082:0.670443:0.090082:0.000000
∼ ∼:@0.689977:0.103138:0.719461:0.103138:0.719461:0.086389:0.689977:0.086389:0.000000:0.000000:0.000000
p:@0.723368:0.102266:0.732637:0.102266:0.732637:0.086873:0.723368:0.086873:0.000000
∨ ∨:@0.734000:0.102944:0.772496:0.102944:0.772496:0.087371:0.734000:0.087371:0.000000:0.000000:0.000000
q:@0.752999:0.102266:0.762268:0.102266:0.762268:0.086873:0.752999:0.086873:0.000000
∼:@0.774689:0.103138:0.784805:0.103138:0.784805:0.086389:0.774689:0.086389:0.000000
p:@0.788712:0.102266:0.797981:0.102266:0.797981:0.086873:0.788712:0.086873:0.000000
(:@0.746191:0.105398:0.752328:0.105398:0.752328:0.085465:0.746191:0.085465:0.000000
):@0.798599:0.105398:0.804736:0.105398:0.804736:0.085465:0.798599:0.085465:0.000000
⎣:@0.702112:0.105661:0.709188:0.105661:0.709188:0.090088:0.702112:0.090088:0.000000
⎤:@0.804607:0.100862:0.811683:0.100862:0.811683:0.085289:0.804607:0.085289:0.000000
⎦:@0.804607:0.105661:0.811683:0.105661:0.811683:0.090088:0.804607:0.090088:0.000000
∼ ∼:@0.545827:0.128370:0.581761:0.128370:0.581761:0.111622:0.545827:0.111622:0.000000:0.000000:0.000000
q p:@0.584949:0.127499:0.617787:0.127499:0.617787:0.112106:0.584949:0.112106:0.000000:0.000000:0.000000
∧:@0.595214:0.128177:0.606325:0.128177:0.606325:0.112604:0.595214:0.112604:0.000000
(:@0.564846:0.130623:0.570983:0.130623:0.570983:0.110690:0.564846:0.110690:0.000000
):@0.618397:0.130623:0.624534:0.130623:0.624534:0.110690:0.618397:0.110690:0.000000
∨ ⎤ ∨ ⎡:@0.625574:0.128169:0.687095:0.126086:0.687095:0.110513:0.625574:0.112596:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.638879:0.127492:0.648148:0.127492:0.648148:0.112098:0.638879:0.112098:0.000000
⎡:@0.558000:0.126081:0.565076:0.126081:0.565076:0.110508:0.558000:0.110508:0.000000
⎣:@0.558000:0.130880:0.565076:0.130880:0.565076:0.115307:0.558000:0.115307:0.000000
⎦:@0.648350:0.130880:0.655427:0.130880:0.655427:0.115307:0.648350:0.115307:0.000000
∼ ∼:@0.667884:0.128363:0.697368:0.128363:0.697368:0.111614:0.667884:0.111614:0.000000:0.000000:0.000000
p:@0.701275:0.127492:0.710544:0.127492:0.710544:0.112098:0.701275:0.112098:0.000000
∨ ∨:@0.711907:0.128169:0.750403:0.128169:0.750403:0.112596:0.711907:0.112596:0.000000:0.000000:0.000000
q:@0.730906:0.127492:0.740175:0.127492:0.740175:0.112098:0.730906:0.112098:0.000000
∼:@0.752596:0.128363:0.762712:0.128363:0.762712:0.111614:0.752596:0.111614:0.000000
p:@0.766619:0.127492:0.775888:0.127492:0.775888:0.112098:0.766619:0.112098:0.000000
(:@0.724100:0.130623:0.730236:0.130623:0.730236:0.110690:0.724100:0.110690:0.000000
):@0.776508:0.130623:0.782644:0.130623:0.782644:0.110690:0.776508:0.110690:0.000000
⎣:@0.680019:0.130885:0.687095:0.130885:0.687095:0.115312:0.680019:0.115312:0.000000
⎤:@0.782514:0.126086:0.789590:0.126086:0.789590:0.110513:0.782514:0.110513:0.000000
⎦:@0.782514:0.130885:0.789590:0.130885:0.789590:0.115312:0.782514:0.115312:0.000000
∼ ∼:@0.545829:0.153594:0.581763:0.153594:0.581763:0.136846:0.545829:0.136846:0.000000:0.000000:0.000000
q p:@0.584951:0.152723:0.617789:0.152723:0.617789:0.137330:0.584951:0.137330:0.000000:0.000000:0.000000
∧:@0.595215:0.153401:0.606327:0.153401:0.606327:0.137828:0.595215:0.137828:0.000000
(:@0.564846:0.155847:0.570983:0.155847:0.570983:0.135914:0.564846:0.135914:0.000000
):@0.618397:0.155847:0.624534:0.155847:0.624534:0.135914:0.618397:0.135914:0.000000
∨ ⎤ ∨ ⎡:@0.625574:0.153393:0.687102:0.151305:0.687102:0.135732:0.625574:0.137820:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.638879:0.152716:0.648148:0.152716:0.648148:0.137322:0.638879:0.137322:0.000000
⎡:@0.558000:0.151305:0.565076:0.151305:0.565076:0.135732:0.558000:0.135732:0.000000
⎣:@0.558000:0.156104:0.565076:0.156104:0.565076:0.140531:0.558000:0.140531:0.000000
⎦:@0.648350:0.156104:0.655427:0.156104:0.655427:0.140531:0.648350:0.140531:0.000000
∼ ∼:@0.667884:0.153587:0.703818:0.153587:0.703818:0.136838:0.667884:0.136838:0.000000:0.000000:0.000000
p:@0.707724:0.152716:0.716993:0.152716:0.716993:0.137322:0.707724:0.137322:0.000000
∨:@0.716459:0.153393:0.727571:0.153393:0.727571:0.137820:0.716459:0.137820:0.000000
∼:@0.729764:0.153587:0.739881:0.153587:0.739881:0.136838:0.729764:0.136838:0.000000
p:@0.743787:0.152716:0.753056:0.152716:0.753056:0.137322:0.743787:0.137322:0.000000
(:@0.686878:0.155847:0.693014:0.155847:0.693014:0.135914:0.686878:0.135914:0.000000
):@0.753678:0.155847:0.759814:0.155847:0.759814:0.135914:0.753678:0.135914:0.000000
∨ ⎤:@0.760849:0.153393:0.789597:0.151305:0.789597:0.135732:0.760849:0.137820:0.000000:0.000000:0.000000
q:@0.773417:0.152716:0.782686:0.152716:0.782686:0.137322:0.773417:0.137322:0.000000
⎣:@0.680026:0.156104:0.687102:0.156104:0.687102:0.140531:0.680026:0.140531:0.000000
⎦:@0.782520:0.156104:0.789597:0.156104:0.789597:0.140531:0.782520:0.140531:0.000000
∼:@0.545836:0.178813:0.555953:0.178813:0.555953:0.162065:0.545836:0.162065:0.000000
p:@0.566309:0.177942:0.575578:0.177942:0.575578:0.162549:0.566309:0.162549:0.000000
[ ]:@0.558774:0.180990:0.582343:0.180990:0.582343:0.161368:0.558774:0.161368:0.000000:0.000000:0.000000
∨ ⎡:@0.582436:0.178618:0.614963:0.176530:0.614963:0.160957:0.582436:0.163046:0.000000:0.000000:0.000000
∼ ∼:@0.595741:0.178812:0.631675:0.178812:0.631675:0.162064:0.595741:0.162064:0.000000:0.000000:0.000000
p:@0.635582:0.177941:0.644851:0.177941:0.644851:0.162548:0.635582:0.162548:0.000000
∨:@0.644316:0.178618:0.655428:0.178618:0.655428:0.163046:0.644316:0.163046:0.000000
∼:@0.657621:0.178812:0.667738:0.178812:0.667738:0.162064:0.657621:0.162064:0.000000
p:@0.671645:0.177941:0.680914:0.177941:0.680914:0.162548:0.671645:0.162548:0.000000
(:@0.614737:0.181073:0.620873:0.181073:0.620873:0.161139:0.614737:0.161139:0.000000
):@0.681537:0.181073:0.687673:0.181073:0.687673:0.161139:0.681537:0.161139:0.000000
∨ ⎤:@0.688710:0.178618:0.717457:0.176530:0.717457:0.160957:0.688710:0.163046:0.000000:0.000000:0.000000
q:@0.701278:0.177941:0.710547:0.177941:0.710547:0.162548:0.701278:0.162548:0.000000
⎣:@0.607887:0.181329:0.614963:0.181329:0.614963:0.165756:0.607887:0.165756:0.000000
⎦:@0.710381:0.181329:0.717457:0.181329:0.717457:0.165756:0.710381:0.165756:0.000000
∼:@0.545841:0.202932:0.555958:0.202932:0.555958:0.186184:0.545841:0.186184:0.000000
p:@0.566314:0.202061:0.575583:0.202061:0.575583:0.186668:0.566314:0.186668:0.000000
[ ]:@0.558774:0.205114:0.582343:0.205114:0.582343:0.185492:0.558774:0.185492:0.000000:0.000000:0.000000
∨:@0.582436:0.202742:0.593548:0.202742:0.593548:0.187169:0.582436:0.187169:0.000000
∼ ∼:@0.595741:0.202936:0.625594:0.202936:0.625594:0.186187:0.595741:0.186187:0.000000:0.000000:0.000000
p q:@0.629501:0.202065:0.661970:0.202065:0.661970:0.186671:0.629501:0.186671:0.000000:0.000000:0.000000
∨:@0.640133:0.202742:0.651245:0.202742:0.651245:0.187169:0.640133:0.187169:0.000000
[:@0.608664:0.205114:0.614800:0.205114:0.614800:0.185492:0.608664:0.185492:0.000000
]:@0.662215:0.205114:0.668351:0.205114:0.668351:0.185492:0.662215:0.185492:0.000000
∼:@0.545843:0.225961:0.555959:0.225961:0.555959:0.209212:0.545843:0.209212:0.000000
p:@0.559866:0.225090:0.569135:0.225090:0.569135:0.209696:0.559866:0.209696:0.000000
∨:@0.570499:0.225767:0.581611:0.225767:0.581611:0.210194:0.570499:0.210194:0.000000
∼∼:@0.589498:0.225961:0.609565:0.225961:0.609565:0.209212:0.589498:0.209212:0.000000:0.000000
p:@0.613472:0.225090:0.622741:0.225090:0.622741:0.209696:0.613472:0.209696:0.000000
∧:@0.622207:0.225767:0.633319:0.225767:0.633319:0.210194:0.622207:0.210194:0.000000
∼:@0.635511:0.225961:0.645628:0.225961:0.645628:0.209212:0.635511:0.209212:0.000000
q:@0.648816:0.225090:0.658085:0.225090:0.658085:0.209696:0.648816:0.209696:0.000000
(:@0.582698:0.228221:0.588834:0.228221:0.588834:0.208288:0.582698:0.208288:0.000000
):@0.658343:0.228221:0.664480:0.228221:0.664480:0.208288:0.658343:0.208288:0.000000
∼:@0.545843:0.248985:0.555959:0.248985:0.555959:0.232236:0.545843:0.232236:0.000000
p:@0.559866:0.248113:0.569135:0.248113:0.569135:0.232720:0.559866:0.232720:0.000000
∨ ∧:@0.570499:0.248791:0.610081:0.248791:0.610081:0.233218:0.570499:0.233218:0.000000:0.000000:0.000000
p:@0.590235:0.248113:0.599504:0.248113:0.599504:0.232720:0.590235:0.232720:0.000000
∼:@0.612274:0.248985:0.622391:0.248985:0.622391:0.232236:0.612274:0.232236:0.000000
q:@0.625579:0.248113:0.634848:0.248113:0.634848:0.232720:0.625579:0.232720:0.000000
(:@0.582698:0.251245:0.588834:0.251245:0.588834:0.231312:0.582698:0.231312:0.000000
):@0.635106:0.251245:0.641242:0.251245:0.641242:0.231312:0.635106:0.231312:0.000000
∼:@0.552282:0.272010:0.562399:0.272010:0.562399:0.255261:0.552282:0.255261:0.000000
p p:@0.566306:0.271138:0.599512:0.271138:0.599512:0.255745:0.566306:0.255745:0.000000:0.000000:0.000000
∨:@0.576938:0.271816:0.588050:0.271816:0.588050:0.256243:0.576938:0.256243:0.000000
(:@0.545477:0.274270:0.551614:0.274270:0.551614:0.254337:0.545477:0.254337:0.000000
) (:@0.600134:0.274270:0.625638:0.274270:0.625638:0.254337:0.600134:0.254337:0.000000:0.000000:0.000000
∧:@0.607304:0.271816:0.618416:0.271816:0.618416:0.256243:0.607304:0.256243:0.000000
∼:@0.626303:0.272010:0.636419:0.272010:0.636419:0.255261:0.626303:0.255261:0.000000
p:@0.640326:0.271138:0.649595:0.271138:0.649595:0.255745:0.640326:0.255745:0.000000
∨:@0.649061:0.271816:0.660173:0.271816:0.660173:0.256243:0.649061:0.256243:0.000000
∼:@0.662365:0.272010:0.672482:0.272010:0.672482:0.255261:0.662365:0.255261:0.000000
q:@0.675670:0.271138:0.684939:0.271138:0.684939:0.255745:0.675670:0.255745:0.000000
):@0.685196:0.274270:0.691332:0.274270:0.691332:0.254337:0.685196:0.254337:0.000000
V:@0.544692:0.294162:0.553813:0.294162:0.553813:0.278769:0.544692:0.278769:0.000000
∧:@0.557259:0.294840:0.568371:0.294840:0.568371:0.279267:0.557259:0.279267:0.000000
∼:@0.576258:0.295033:0.586375:0.295033:0.586375:0.278285:0.576258:0.278285:0.000000
p:@0.590282:0.294162:0.599551:0.294162:0.599551:0.278769:0.590282:0.278769:0.000000
∨:@0.599016:0.294840:0.610128:0.294840:0.610128:0.279267:0.599016:0.279267:0.000000
∼:@0.612321:0.295033:0.622438:0.295033:0.622438:0.278285:0.612321:0.278285:0.000000
q:@0.625626:0.294162:0.634895:0.294162:0.634895:0.278769:0.625626:0.278769:0.000000
(:@0.569453:0.297294:0.575590:0.297294:0.575590:0.277360:0.569453:0.277360:0.000000
):@0.635148:0.297294:0.641284:0.297294:0.641284:0.277360:0.635148:0.277360:0.000000
∼:@0.552282:0.318058:0.562399:0.318058:0.562399:0.301310:0.552282:0.301310:0.000000
p:@0.566306:0.317187:0.575575:0.317187:0.575575:0.301794:0.566306:0.301794:0.000000
∨:@0.575040:0.317865:0.586152:0.317865:0.586152:0.302292:0.575040:0.302292:0.000000
∼:@0.588345:0.318058:0.598462:0.318058:0.598462:0.301310:0.588345:0.301310:0.000000
q:@0.601650:0.317187:0.610919:0.317187:0.610919:0.301794:0.601650:0.301794:0.000000
(:@0.545477:0.320319:0.551614:0.320319:0.551614:0.300385:0.545477:0.300385:0.000000
):@0.611172:0.320319:0.617308:0.320319:0.617308:0.300385:0.611172:0.300385:0.000000
Trabajo colaborativo:@0.526696:0.360146:0.690645:0.360146:0.690645:0.343246:0.526696:0.343246:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.523858:0.381376:0.593533:0.381376:0.593533:0.364475:0.523858:0.364475:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.593533:0.381376:0.597256:0.381376:0.597256:0.364240:0.593533:0.364240:0.000000
en equipo y :@0.597256:0.381376:0.688823:0.381376:0.688823:0.365706:0.597256:0.365706:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
resuelvan:@0.688823:0.381376:0.766290:0.381376:0.766290:0.364475:0.688823:0.364475:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.766290:0.381376:0.769497:0.381376:0.769497:0.365706:0.766290:0.365706:0.000000
12. :@0.523858:0.405095:0.552827:0.405095:0.552827:0.387959:0.523858:0.387959:0.000000:0.000000:0.000000:0.000000
Escriban:@0.552347:0.405095:0.619811:0.405095:0.619811:0.388194:0.552347:0.388194:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 en su cuaderno la ley que se aplicó :@0.619811:0.405095:0.898030:0.405095:0.898030:0.389425:0.619811:0.389425:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 cada paso.:@0.552347:0.421691:0.652297:0.421691:0.652297:0.406021:0.552347:0.406021:0.000000: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.552347:0.444179:0.571586:0.444179:0.571586:0.427044:0.552347:0.427044:0.000000:0.000000:0.000000
p q:@0.610428:0.445868:0.642887:0.445868:0.642887:0.430475:0.610428:0.430475:0.000000:0.000000:0.000000
(:@0.586921:0.449000:0.593057:0.449000:0.593057:0.429066:0.586921:0.429066:0.000000
) (:@0.643144:0.449000:0.678181:0.449000:0.678181:0.429066:0.643144:0.429066:0.000000:0.000000:0.000000
r:@0.678850:0.445868:0.684139:0.445868:0.684139:0.430475:0.678850:0.430475:0.000000
r:@0.713820:0.445868:0.719109:0.445868:0.719109:0.430475:0.713820:0.430475:0.000000
):@0.720676:0.449000:0.726812:0.449000:0.726812:0.429066:0.720676:0.429066:0.000000
q:@0.762193:0.445868:0.771462:0.445868:0.771462:0.430475:0.762193:0.430475:0.000000
p q:@0.622992:0.471093:0.655452:0.471093:0.655452:0.455700:0.622992:0.455700:0.000000:0.000000:0.000000
(:@0.599485:0.474225:0.605622:0.474225:0.605622:0.454292:0.599485:0.454292:0.000000
):@0.655708:0.474225:0.661844:0.474225:0.661844:0.454292:0.655708:0.454292:0.000000
F:@0.684609:0.471093:0.692662:0.471093:0.692662:0.455700:0.684609:0.455700:0.000000
q:@0.729579:0.471093:0.738849:0.471093:0.738849:0.455700:0.729579:0.455700:0.000000
p q:@0.626395:0.496317:0.658856:0.496317:0.658856:0.480924:0.626395:0.480924:0.000000:0.000000:0.000000
(:@0.602889:0.499449:0.609026:0.499449:0.609026:0.479515:0.602889:0.479515:0.000000
):@0.659112:0.499449:0.665249:0.499449:0.665249:0.479515:0.659112:0.479515:0.000000
F:@0.678485:0.496317:0.686538:0.496317:0.686538:0.480924:0.678485:0.480924:0.000000
q:@0.723453:0.496317:0.732722:0.496317:0.732722:0.480924:0.723453:0.480924:0.000000
p:@0.594460:0.521544:0.603729:0.521544:0.603729:0.506150:0.594460:0.506150:0.000000
q:@0.632467:0.521542:0.641737:0.521542:0.641737:0.506149:0.632467:0.506149:0.000000
(:@0.586921:0.524674:0.593057:0.524674:0.593057:0.504741:0.586921:0.504741:0.000000
):@0.642001:0.524674:0.648138:0.524674:0.648138:0.504741:0.642001:0.504741:0.000000
F:@0.661365:0.521542:0.669418:0.521542:0.669418:0.506149:0.661365:0.506149:0.000000
q:@0.706336:0.521542:0.715605:0.521542:0.715605:0.506149:0.706336:0.506149:0.000000
p:@0.588380:0.545662:0.597649:0.545662:0.597649:0.530269:0.588380:0.530269:0.000000
q:@0.626395:0.545666:0.635664:0.545666:0.635664:0.530273:0.626395:0.530273:0.000000
(:@0.580848:0.548798:0.586985:0.548798:0.586985:0.528865:0.580848:0.528865:0.000000
):@0.635929:0.548798:0.642065:0.548798:0.642065:0.528865:0.635929:0.528865:0.000000
q:@0.671417:0.545666:0.680686:0.545666:0.680686:0.530273:0.671417:0.530273:0.000000
q:@0.597182:0.567709:0.606451:0.567709:0.606451:0.552316:0.597182:0.552316:0.000000
b):@0.552358:0.592453:0.569016:0.592453:0.569016:0.575317:0.552358:0.575317:0.000000:0.000000
 :@0.569016:0.652808:0.573052:0.652808:0.573052:0.637139:0.569016:0.637139:0.000000
p q:@0.595245:0.591077:0.627706:0.591077:0.627706:0.575684:0.595245:0.575684:0.000000:0.000000:0.000000
(:@0.587707:0.594210:0.593843:0.594210:0.593843:0.574277:0.587707:0.574277:0.000000
) (:@0.627971:0.594210:0.653472:0.594210:0.653472:0.574277:0.627971:0.574277:0.000000:0.000000:0.000000
p:@0.654874:0.591077:0.664143:0.591077:0.664143:0.575684:0.654874:0.575684:0.000000
q:@0.692880:0.591077:0.702149:0.591077:0.702149:0.575684:0.692880:0.575684:0.000000
) (:@0.702415:0.594210:0.733935:0.594210:0.733935:0.574277:0.702415:0.574277:0.000000:0.000000:0.000000
p:@0.751304:0.591077:0.760573:0.591077:0.760573:0.575684:0.751304:0.575684:0.000000
q:@0.789312:0.591077:0.798581:0.591077:0.798581:0.575684:0.789312:0.575684:0.000000
):@0.798837:0.594210:0.804974:0.594210:0.804974:0.574277:0.798837:0.574277:0.000000
p:@0.589173:0.615202:0.598442:0.615202:0.598442:0.599809:0.589173:0.599809:0.000000
(:@0.611579:0.615202:0.616462:0.615202:0.616462:0.599533:0.611579:0.599533:0.000000
q:@0.617660:0.615202:0.626929:0.615202:0.626929:0.599809:0.617660:0.599809:0.000000
q:@0.655293:0.615202:0.664562:0.615202:0.664562:0.599809:0.655293:0.599809:0.000000
):@0.665188:0.615202:0.670072:0.615202:0.670072:0.599533:0.665188:0.599533:0.000000
[:@0.581634:0.618251:0.587770:0.618251:0.587770:0.598630:0.581634:0.598630:0.000000
]:@0.670105:0.618251:0.676241:0.618251:0.676241:0.598630:0.670105:0.598630:0.000000
p:@0.712983:0.615202:0.722252:0.615202:0.722252:0.599809:0.712983:0.599809:0.000000
q:@0.750991:0.615202:0.760260:0.615202:0.760260:0.599809:0.750991:0.599809:0.000000
(:@0.689478:0.618334:0.695614:0.618334:0.695614:0.598401:0.689478:0.598401:0.000000
):@0.760516:0.618334:0.766653:0.618334:0.766653:0.598401:0.760516:0.598401:0.000000
p V:@0.589173:0.638226:0.620334:0.638226:0.620334:0.622833:0.589173:0.622833:0.000000:0.000000:0.000000
[:@0.581634:0.641276:0.587770:0.641276:0.587770:0.621655:0.581634:0.621655:0.000000
]:@0.623041:0.641276:0.629177:0.641276:0.629177:0.621655:0.623041:0.621655:0.000000
p:@0.665920:0.638226:0.675189:0.638226:0.675189:0.622833:0.665920:0.622833:0.000000
q:@0.703927:0.638226:0.713196:0.638226:0.713196:0.622833:0.703927:0.622833:0.000000
(:@0.642413:0.641359:0.648550:0.641359:0.648550:0.621426:0.642413:0.621426:0.000000
):@0.713452:0.641359:0.719588:0.641359:0.719588:0.621426:0.713452:0.621426:0.000000
p:@0.582733:0.661251:0.592002:0.661251:0.592002:0.645858:0.582733:0.645858:0.000000
p:@0.629065:0.661251:0.638334:0.661251:0.638334:0.645858:0.629065:0.645858:0.000000
q:@0.667071:0.661251:0.676340:0.661251:0.676340:0.645858:0.667071:0.645858:0.000000
(:@0.605558:0.664383:0.611695:0.664383:0.611695:0.644449:0.605558:0.644449:0.000000
):@0.676597:0.664383:0.682733:0.664383:0.682733:0.644449:0.676597:0.644449:0.000000
(:@0.581215:0.683293:0.586099:0.683293:0.586099:0.667623:0.581215:0.667623:0.000000
p:@0.588022:0.683293:0.597291:0.683293:0.597291:0.667900:0.588022:0.667900:0.000000
p:@0.626762:0.683293:0.636031:0.683293:0.636031:0.667900:0.626762:0.667900:0.000000
):@0.637026:0.683293:0.641909:0.683293:0.641909:0.667623:0.637026:0.667623:0.000000
q:@0.670055:0.683293:0.679324:0.683293:0.679324:0.667900:0.670055:0.667900:0.000000
V:@0.580848:0.704038:0.589970:0.704038:0.589970:0.688645:0.580848:0.688645:0.000000
q:@0.620793:0.704038:0.630062:0.704038:0.630062:0.688645:0.620793:0.688645:0.000000
V:@0.580848:0.724784:0.589970:0.724784:0.589970:0.709391:0.580848:0.709391:0.000000
13. :@0.523865:0.747701:0.552833:0.747701:0.552833:0.730565:0.523865:0.730565:0.000000:0.000000:0.000000:0.000000
Simplifiquen:@0.552354:0.747701:0.654038:0.747701:0.654038:0.730800:0.552354:0.730800: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 siguientes fórmulas lógicas.:@0.654038:0.747701:0.881763:0.747701:0.881763:0.732031:0.654038:0.732031:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.552354:0.780229:0.567870:0.780229:0.567870:0.763094:0.552354:0.763094:0.000000:0.000000
   (:@0.567870:0.780229:0.591940:0.778968:0.591940:0.763299:0.567870:0.764560:0.000000:0.000000:0.000000:0.000000
:@0.658595:0.779840:0.668711:0.779840:0.668711:0.763091:0.658595:0.763091:0.000000
(:@0.651371:0.781518:0.657507:0.781518:0.657507:0.761117:0.651371:0.761117:0.000000
):@0.734498:0.781518:0.740634:0.781518:0.740634:0.761117:0.734498:0.761117:0.000000
∨:@0.605982:0.779646:0.617094:0.779646:0.617094:0.764073:0.605982:0.764073:0.000000
∧:@0.638120:0.779646:0.649232:0.779646:0.649232:0.764073:0.638120:0.764073:0.000000
∨∨:@0.684815:0.779646:0.721689:0.779646:0.721689:0.764073:0.684815:0.764073:0.000000:0.000000
=:@0.743286:0.779646:0.753403:0.779646:0.753403:0.764073:0.743286:0.764073:0.000000
pp:@0.593875:0.778968:0.629993:0.778968:0.629993:0.762607:0.593875:0.762607:0.000000:0.000000
pq q:@0.672708:0.778968:0.733851:0.778968:0.733851:0.762607:0.672708:0.762607:0.000000:0.000000:0.000000:0.000000
):@0.630988:0.778968:0.635872:0.778968:0.635872:0.763299:0.630988:0.763299:0.000000
b)   :@0.552339:0.812756:0.584551:0.812756:0.584551:0.795620:0.552339:0.795620:0.000000:0.000000:0.000000:0.000000:0.000000
:@0.592843:0.812366:0.602960:0.812366:0.602960:0.795618:0.592843:0.795618:0.000000
(:@0.663361:0.814043:0.669497:0.814043:0.669497:0.793642:0.663361:0.793642:0.000000
):@0.739485:0.814043:0.745622:0.814043:0.745622:0.793642:0.739485:0.793642:0.000000
∧:@0.619071:0.812172:0.630182:0.812172:0.630182:0.796600:0.619071:0.796600:0.000000
∧:@0.650121:0.812172:0.661233:0.812172:0.661233:0.796600:0.650121:0.796600:0.000000
∨:@0.683401:0.812172:0.694513:0.812172:0.694513:0.796600:0.683401:0.796600:0.000000
∨:@0.714452:0.812172:0.725564:0.812172:0.725564:0.796600:0.714452:0.796600:0.000000
=:@0.748267:0.812172:0.758384:0.812172:0.758384:0.796600:0.748267:0.796600:0.000000
pq:@0.606964:0.811495:0.642363:0.811495:0.642363:0.795133:0.606964:0.795133:0.000000:0.000000
pq:@0.671295:0.811495:0.706694:0.811495:0.706694:0.795133:0.671295:0.795133:0.000000:0.000000
p:@0.729194:0.811495:0.738463:0.811495:0.738463:0.795133:0.729194:0.795133:0.000000
(:@0.586749:0.811495:0.591632:0.811495:0.591632:0.795825:0.586749:0.795825:0.000000
):@0.642971:0.811495:0.647855:0.811495:0.647855:0.795825:0.642971:0.795825:0.000000
):@0.707321:0.811495:0.712204:0.811495:0.712204:0.795825:0.707321:0.795825:0.000000
Actividad indagatoria:@0.527614:0.864198:0.700021:0.864198:0.700021:0.847298:0.527614:0.847298:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
14. :@0.523984:0.885428:0.552399:0.885428:0.552399:0.868292:0.523984:0.868292:0.000000:0.000000:0.000000:0.000000
Indaga :@0.552473:0.885428:0.610686:0.885428:0.610686:0.868527:0.552473:0.868527:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
las leyes que puedes aplicar y :@0.610502:0.885428:0.824907:0.885428:0.824907:0.869758:0.610502:0.869758:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.824723:0.885428:0.890381:0.885428:0.890381:0.868527:0.824723:0.868527:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.890196:0.885428:0.893403:0.885428:0.893403:0.869758:0.890196:0.869758:0.000000
 :@0.523984:0.916186:0.527799:0.916186:0.527799:0.899285:0.523984:0.899285:0.000000
p q:@0.565165:0.909598:0.596788:0.909598:0.596788:0.894205:0.565165:0.894205:0.000000:0.000000:0.000000
(:@0.557626:0.912730:0.563763:0.912730:0.563763:0.892797:0.557626:0.892797:0.000000
):@0.597043:0.912730:0.603179:0.912730:0.603179:0.892797:0.597043:0.892797:0.000000
q:@0.632541:0.909598:0.641810:0.909598:0.641810:0.894205:0.632541:0.894205:0.000000
q:@0.677144:0.909598:0.686414:0.909598:0.686414:0.894205:0.677144:0.894205:0.000000
~:@0.330946:0.111152:0.337935:0.111152:0.337935:0.101180:0.330946:0.101180:0.000000
p:@0.337935:0.111152:0.343834:0.111152:0.343834:0.100740:0.337935:0.100740:0.000000
=  V:@0.286303:0.239357:0.301559:0.239357:0.301559:0.228946:0.286303:0.228946:0.000000:0.000000:0.000000:0.000000
=  q:@0.315596:0.267785:0.330946:0.267785:0.330946:0.257373:0.315596:0.257373:0.000000:0.000000:0.000000:0.000000
=  ~ q:@0.307200:0.293273:0.330477:0.293273:0.330477:0.282861:0.307200:0.282861:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Verdadero.:@0.336164:0.136455:0.386015:0.136455:0.386015:0.126483:0.336164:0.126483:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Verdadero.:@0.306015:0.162603:0.355865:0.162603:0.355865:0.152631:0.306015:0.152631:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Falso.:@0.325716:0.186709:0.350811:0.186709:0.350811:0.176738:0.325716:0.176738:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.347504:0.216105:0.353403:0.216105:0.353403:0.205693:0.347504:0.205693:0.000000
 v~:@0.353403:0.216105:0.368260:0.216105:0.368260:0.206133:0.353403:0.206133:0.000000:0.000000:0.000000
p:@0.368260:0.216105:0.374159:0.216105:0.374159:0.205693:0.368260:0.205693:0.000000
Falso.:@0.584594:0.789523:0.609689:0.789523:0.609689:0.779552:0.584594:0.779552:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Asociativa:@0.796800:0.150264:0.843883:0.150264:0.843883:0.140292:0.796800:0.140292:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Absorción:@0.723192:0.175382:0.770673:0.175382:0.770673:0.165411:0.723192:0.165411:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Idempotencia:@0.679498:0.200501:0.744885:0.200501:0.744885:0.190529:0.679498:0.190529: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 del complemento.:@0.229170:0.339866:0.333723:0.339866:0.333723:0.329894:0.229170:0.329894:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.185653:0.363391:0.279654:0.363391:0.279654:0.353420:0.185653:0.353420:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.355654:0.387630:0.428429:0.387630:0.428429:0.377658:0.355654:0.377658:0.000000:0.000000:0.000000:0.000000:0.000000: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.301266:0.410794:0.403333:0.410794:0.403333:0.400823:0.301266:0.400823:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.341852:0.436476:0.431513:0.436476:0.431513:0.426504:0.341852:0.426504:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Complemento:@0.746915:0.468670:0.815386:0.468670:0.815386:0.458699:0.746915:0.458699:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Condicional:@0.741216:0.494026:0.797199:0.494026:0.797199:0.484055:0.741216:0.484055:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Morgan:@0.723168:0.519382:0.759967:0.519382:0.759967:0.509411:0.723168:0.509411:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Identidad:@0.688938:0.543480:0.733922:0.543480:0.733922:0.533508:0.688938:0.533508:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Absorción:@0.616080:0.565333:0.663562:0.565333:0.663562:0.555361:0.616080:0.555361:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Distributiva:@0.779163:0.614179:0.832589:0.614179:0.832589:0.604207:0.779163:0.604207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Complemento:@0.728867:0.636279:0.797338:0.636279:0.797338:0.626307:0.728867:0.626307:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Identidad:@0.694637:0.658378:0.739621:0.658378:0.739621:0.648406:0.694637:0.648406:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Asociativa:@0.688938:0.679782:0.736021:0.679782:0.736021:0.669811:0.688938:0.669811:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Complemento:@0.642196:0.700905:0.710667:0.700905:0.710667:0.690933:0.642196:0.690933:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Identidad:@0.603756:0.720769:0.648739:0.720769:0.648739:0.710798:0.603756:0.710798:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ley asociativa.:@0.332588:0.459482:0.398785:0.459482:0.398785:0.449510:0.332588:0.449510:0.000000:0.000000:0.000000: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 conmutativa.:@0.332588:0.483764:0.412376:0.483764:0.412376:0.473793:0.332588:0.473793:0.000000:0.000000:0.000000:0.000000: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 absorción.:@0.316206:0.506788:0.397341:0.506788:0.397341:0.496816:0.316206:0.496816:0.000000:0.000000:0.000000:0.000000:0.000000: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.206034:0.571186:0.211932:0.571186:0.211932:0.560774:0.206034:0.560774:0.000000
¬    :@0.244497:0.594350:0.269592:0.594350:0.269592:0.584378:0.244497:0.584378:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.251486:0.594350:0.257385:0.594350:0.257385:0.583938:0.251486:0.583938:0.000000
∨:@0.259953:0.594781:0.267024:0.594781:0.267024:0.584871:0.259953:0.584871:0.000000
q:@0.269592:0.594350:0.275491:0.594350:0.275491:0.583938:0.269592:0.583938:0.000000
p:@0.244497:0.617515:0.250396:0.617515:0.250396:0.607103:0.244497:0.607103:0.000000
   ¬:@0.250396:0.617515:0.269592:0.617515:0.269592:0.607543:0.250396:0.607543:0.000000:0.000000:0.000000:0.000000
∧:@0.252964:0.617946:0.260035:0.617946:0.260035:0.608036:0.252964:0.608036:0.000000
q:@0.269592:0.617515:0.275491:0.617515:0.275491:0.607103:0.269592:0.607103:0.000000
p:@0.254547:0.640679:0.260445:0.640679:0.260445:0.630267:0.254547:0.630267:0.000000
   :@0.260445:0.640679:0.272653:0.640679:0.272653:0.630707:0.260445:0.630707:0.000000:0.000000:0.000000
∨:@0.263013:0.641110:0.270085:0.641110:0.270085:0.631200:0.263013:0.631200:0.000000
q:@0.272653:0.640679:0.278551:0.640679:0.278551:0.630267:0.272653:0.630267:0.000000
V:@0.321506:0.663844:0.327311:0.663844:0.327311:0.653432:0.321506:0.653432:0.000000
p:@0.321506:0.688267:0.327405:0.688267:0.327405:0.677855:0.321506:0.677855:0.000000
p:@0.254547:0.735854:0.260445:0.735854:0.260445:0.725443:0.254547:0.725443:0.000000
V:@0.303377:0.759019:0.309181:0.759019:0.309181:0.748607:0.303377:0.748607:0.000000
F:@0.298909:0.783442:0.304033:0.783442:0.304033:0.773030:0.298909:0.773030:0.000000
V:@0.308607:0.806606:0.314412:0.806606:0.314412:0.796195:0.308607:0.796195:0.000000
F:@0.328554:0.829771:0.333678:0.829771:0.333678:0.819359:0.328554:0.819359:0.000000
Bicondicional:@0.376176:0.924532:0.439148:0.924532:0.439148:0.914561:0.376176:0.914561:0.000000: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.391491:0.948762:0.447474:0.948762:0.447474:0.938790:0.391491:0.938790:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
F:@0.253011:0.712672:0.258135:0.712672:0.258135:0.702260:0.253011:0.702260:0.000000
De Morgan:@0.810473:0.076291:0.863185:0.076291:0.863185:0.066319:0.810473:0.066319:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De Morgan:@0.820523:0.100714:0.873235:0.100714:0.873235:0.090742:0.820523:0.090742:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De Morgan:@0.670949:0.223955:0.723661:0.223955:0.723661:0.213984:0.670949:0.213984:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Complemento:@0.645456:0.246821:0.713927:0.246821:0.713927:0.236849:0.645456:0.236849:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Complemento:@0.649279:0.293264:0.717749:0.293264:0.717749:0.283293:0.649279:0.283293:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Identidad:@0.622471:0.316710:0.667455:0.316710:0.667455:0.306739:0.622471:0.306739:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Distributiva:@0.699762:0.271077:0.753189:0.271077:0.753189:0.261105:0.699762:0.261105:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Complemento:@0.796777:0.125137:0.865248:0.125137:0.865248:0.115165:0.796777:0.115165:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.584571:0.822096:0.590469:0.822096:0.590469:0.811685:0.584571:0.811685: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.684191:0.079553:0.268044:0.061505:0.268044:0.061505:0.684191:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000