91:@0.911172:0.510692:0.930079:0.510692:0.930079:0.494068:0.911172:0.494068:0.000000:0.000000
2. :@0.120102:0.433204:0.138843:0.433204:0.138843:0.416069:0.120102:0.416069:0.000000:0.000000:0.000000
Simplifica:@0.153346:0.433204:0.228033:0.433204:0.228033:0.416580:0.153346:0.416580:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las proposiciones dadas mediante las leyes del álgebra proposicional y:@0.228033:0.433204:0.779185:0.433204:0.779185:0.416815:0.228033:0.416815:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 selecciona:@0.779185:0.433204:0.866237:0.433204:0.866237:0.416580:0.779185:0.416580:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la :@0.866237:0.433204:0.889769:0.433204:0.889769:0.416815:0.866237:0.416815:0.000000:0.000000:0.000000:0.000000
respuesta correcta. :@0.153346:0.449801:0.295734:0.449801:0.295734:0.433412:0.153346:0.433412:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.153346:0.473520:0.172068:0.473520:0.172068:0.456619:0.153346:0.456619:0.000000:0.000000:0.000000
∼ ∧ ∼:@0.186589:0.474197:0.240729:0.474197:0.240729:0.458624:0.186589:0.458624:0.000000:0.000000:0.000000:0.000000:0.000000
(  :@0.196706:0.473520:0.214894:0.473520:0.214894:0.457131:0.196706:0.457131:0.000000:0.000000:0.000000
p:@0.201589:0.473520:0.210858:0.473520:0.210858:0.457158:0.201589:0.457158:0.000000
  )   (  :@0.240729:0.473520:0.303365:0.473520:0.303365:0.457131:0.240729:0.457131:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.244765:0.473520:0.254034:0.473520:0.254034:0.457158:0.244765:0.457158:0.000000
→:@0.262953:0.474197:0.281141:0.474197:0.281141:0.458624:0.262953:0.458624:0.000000
p:@0.290060:0.473520:0.299329:0.473520:0.299329:0.457158:0.290060:0.457158:0.000000
∧ :@0.303365:0.474197:0.319084:0.474197:0.319084:0.458624:0.303365:0.458624:0.000000:0.000000
q:@0.319084:0.473520:0.328353:0.473520:0.328353:0.457158:0.319084:0.457158:0.000000
):@0.328353:0.473520:0.333236:0.473520:0.333236:0.457131:0.328353:0.457131:0.000000
 :@0.153346:0.493684:0.157381:0.493684:0.157381:0.477295:0.153346:0.477295:0.000000
A):@0.186589:0.493684:0.203598:0.493684:0.203598:0.476784:0.186589:0.476784:0.000000:0.000000
                           (     )                                                 V                        F:@0.203598:0.493684:0.731937:0.493684:0.731937:0.477295:0.203598:0.477295:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.211669:0.493684:0.220938:0.493684:0.220938:0.477323:0.211669:0.477323:0.000000
B):@0.305687:0.493684:0.321848:0.493684:0.321848:0.476784:0.305687:0.476784:0.000000:0.000000
p:@0.334803:0.493684:0.344072:0.493684:0.344072:0.477323:0.334803:0.477323:0.000000
∧:@0.348107:0.494362:0.359219:0.494362:0.359219:0.478789:0.348107:0.478789:0.000000
q:@0.363255:0.493684:0.372524:0.493684:0.372524:0.477323:0.363255:0.477323:0.000000
C):@0.462156:0.493684:0.478778:0.493684:0.478778:0.476784:0.462156:0.476784:0.000000:0.000000
q:@0.486849:0.493684:0.496118:0.493684:0.496118:0.477323:0.486849:0.477323:0.000000
D):@0.580867:0.493684:0.598760:0.493684:0.598760:0.476784:0.580867:0.476784:0.000000:0.000000
E):@0.700315:0.493684:0.715352:0.493684:0.715352:0.476784:0.700315:0.476784:0.000000:0.000000
 :@0.153364:0.568354:0.157179:0.568354:0.157179:0.551453:0.153364:0.551453:0.000000
b) :@0.153344:0.588521:0.173375:0.588521:0.173375:0.571621:0.153344:0.571621:0.000000:0.000000:0.000000
[ →:@0.186587:0.589199:0.229100:0.589199:0.229100:0.573626:0.186587:0.573626:0.000000:0.000000:0.000000
(     ) :@0.192724:0.588521:0.251324:0.588521:0.251324:0.572132:0.192724:0.572132:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.197607:0.588521:0.206876:0.588521:0.206876:0.572160:0.197607:0.572160:0.000000
q:@0.233136:0.588521:0.242405:0.588521:0.242405:0.572160:0.233136:0.572160:0.000000
∧  ] → :@0.251324:0.589199:0.309850:0.589199:0.309850:0.573626:0.251324:0.573626:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.267042:0.588521:0.276312:0.588521:0.276312:0.572160:0.267042:0.572160:0.000000
q:@0.309850:0.588521:0.319119:0.588521:0.319119:0.572160:0.309850:0.572160:0.000000
 :@0.153344:0.608686:0.157380:0.608686:0.157380:0.592297:0.153344:0.592297:0.000000
A):@0.186587:0.608686:0.203596:0.608686:0.203596:0.591785:0.186587:0.591785:0.000000:0.000000
                           (     )                                                 V                        F:@0.203596:0.608686:0.731935:0.608686:0.731935:0.592297:0.203596:0.592297:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.211667:0.608686:0.220936:0.608686:0.220936:0.592325:0.211667:0.592325:0.000000
B):@0.305685:0.608686:0.321846:0.608686:0.321846:0.591785:0.305685:0.591785:0.000000:0.000000
p:@0.334801:0.608686:0.344070:0.608686:0.344070:0.592325:0.334801:0.592325:0.000000
∧:@0.348106:0.609363:0.359217:0.609363:0.359217:0.593791:0.348106:0.593791:0.000000
q:@0.363253:0.608686:0.372522:0.608686:0.372522:0.592325:0.363253:0.592325:0.000000
C):@0.462154:0.608686:0.478776:0.608686:0.478776:0.591785:0.462154:0.591785:0.000000:0.000000
q:@0.486847:0.608686:0.496116:0.608686:0.496116:0.592325:0.486847:0.592325:0.000000
D):@0.580865:0.608686:0.598758:0.608686:0.598758:0.591785:0.580865:0.591785:0.000000:0.000000
E):@0.700313:0.608686:0.715350:0.608686:0.715350:0.591785:0.700313:0.591785:0.000000:0.000000
 :@0.153362:0.683356:0.157177:0.683356:0.157177:0.666455:0.153362:0.666455:0.000000
c) :@0.153344:0.703516:0.170979:0.703516:0.170979:0.686616:0.153344:0.686616:0.000000:0.000000:0.000000
(  :@0.186587:0.703516:0.204775:0.703516:0.204775:0.687128:0.186587:0.687128:0.000000:0.000000:0.000000
p:@0.191471:0.703516:0.200740:0.703516:0.200740:0.687155:0.191471:0.687155:0.000000
∨  → ∼ ∧ :@0.204775:0.704194:0.304930:0.704194:0.304930:0.688621:0.204775:0.688621:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.220494:0.703516:0.229763:0.703516:0.229763:0.687155:0.220494:0.687155:0.000000
)   (:@0.229763:0.703516:0.265789:0.703516:0.265789:0.687128:0.229763:0.687128:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.275906:0.703516:0.285175:0.703516:0.285175:0.687155:0.275906:0.687155:0.000000
 :@0.285175:0.703516:0.289211:0.703516:0.289211:0.687128:0.285175:0.687128:0.000000
q:@0.304930:0.703516:0.314199:0.703516:0.314199:0.687155:0.304930:0.687155:0.000000
):@0.314199:0.703516:0.319082:0.703516:0.319082:0.687128:0.314199:0.687128:0.000000
 :@0.153344:0.723681:0.157380:0.723681:0.157380:0.707292:0.153344:0.707292:0.000000
A):@0.186587:0.723681:0.203596:0.723681:0.203596:0.706780:0.186587:0.706780:0.000000:0.000000
                                                                                                            (     ):@0.203596:0.723681:0.769583:0.723681:0.769583:0.707292:0.203596:0.707292:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.211667:0.723681:0.220936:0.723681:0.220936:0.707320:0.211667:0.707320:0.000000
B):@0.305685:0.723681:0.321846:0.723681:0.321846:0.706780:0.305685:0.706780:0.000000:0.000000
∼:@0.329918:0.724359:0.340034:0.724359:0.340034:0.708786:0.329918:0.708786:0.000000
p:@0.344070:0.723681:0.353339:0.723681:0.353339:0.707320:0.344070:0.707320:0.000000
C):@0.462302:0.723681:0.478923:0.723681:0.478923:0.706780:0.462302:0.706780:0.000000:0.000000
q:@0.486976:0.723681:0.496245:0.723681:0.496245:0.707320:0.486976:0.707320:0.000000
D):@0.580994:0.723681:0.598887:0.723681:0.598887:0.706780:0.580994:0.706780:0.000000:0.000000
∼:@0.606959:0.724359:0.617075:0.724359:0.617075:0.708786:0.606959:0.708786:0.000000
q:@0.621111:0.723681:0.630380:0.723681:0.630380:0.707320:0.621111:0.707320:0.000000
E):@0.698986:0.723681:0.714023:0.723681:0.714023:0.706780:0.698986:0.706780:0.000000:0.000000
p:@0.726978:0.723681:0.736247:0.723681:0.736247:0.707320:0.726978:0.707320:0.000000
∧:@0.740283:0.724359:0.751394:0.724359:0.751394:0.708786:0.740283:0.708786:0.000000
q:@0.755430:0.723681:0.764699:0.723681:0.764699:0.707320:0.755430:0.707320:0.000000
 :@0.153344:0.801753:0.157158:0.801753:0.157158:0.784853:0.153344:0.784853:0.000000
d) :@0.153344:0.821909:0.173412:0.821909:0.173412:0.805008:0.153344:0.805008:0.000000:0.000000:0.000000
(    :@0.186587:0.821909:0.218928:0.821909:0.218928:0.805520:0.186587:0.805520:0.000000:0.000000:0.000000:0.000000:0.000000
∼ ∧  ∧ ∼ ∧ ∼ :@0.191471:0.822587:0.330765:0.822587:0.330765:0.807014:0.191471:0.807014:0.000000: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.205623:0.821909:0.214892:0.821909:0.214892:0.805548:0.205623:0.805548:0.000000
q:@0.234647:0.821909:0.243916:0.821909:0.243916:0.805548:0.234647:0.805548:0.000000
)   (    :@0.243916:0.821909:0.300323:0.821909:0.300323:0.805520:0.243916:0.805520:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.287018:0.821909:0.296287:0.821909:0.296287:0.805548:0.287018:0.805548:0.000000
p:@0.330765:0.821909:0.340034:0.821909:0.340034:0.805548:0.330765:0.805548:0.000000
):@0.340034:0.821909:0.344918:0.821909:0.344918:0.805520:0.340034:0.805520:0.000000
 :@0.153344:0.842074:0.157380:0.842074:0.157380:0.825685:0.153344:0.825685:0.000000
A):@0.186587:0.842074:0.203596:0.842074:0.203596:0.825173:0.186587:0.825173:0.000000:0.000000
                                                            F                                               (     ):@0.203596:0.842074:0.768827:0.842074:0.768827:0.825685:0.203596:0.825685:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.211667:0.842074:0.220936:0.842074:0.220936:0.825712:0.211667:0.825712:0.000000
B):@0.305685:0.842074:0.321846:0.842074:0.321846:0.825173:0.305685:0.825173:0.000000:0.000000
∼:@0.329918:0.842751:0.340034:0.842751:0.340034:0.827178:0.329918:0.827178:0.000000
p:@0.344070:0.842074:0.353339:0.842074:0.353339:0.825712:0.344070:0.825712:0.000000
C):@0.462302:0.842074:0.478923:0.842074:0.478923:0.825173:0.462302:0.825173:0.000000:0.000000
D):@0.580239:0.842074:0.598132:0.842074:0.598132:0.825173:0.580239:0.825173:0.000000:0.000000
∼:@0.606203:0.842751:0.616320:0.842751:0.616320:0.827178:0.606203:0.827178:0.000000
q:@0.620356:0.842074:0.629625:0.842074:0.629625:0.825712:0.620356:0.825712:0.000000
E):@0.698231:0.842074:0.713268:0.842074:0.713268:0.825173:0.698231:0.825173:0.000000:0.000000
p:@0.726222:0.842074:0.735491:0.842074:0.735491:0.825712:0.726222:0.825712:0.000000
∧:@0.739527:0.842751:0.750639:0.842751:0.750639:0.827178:0.739527:0.827178:0.000000
q:@0.754675:0.842074:0.763944:0.842074:0.763944:0.825712:0.754675:0.825712:0.000000
 :@0.153344:0.916743:0.157158:0.916743:0.157158:0.899843:0.153344:0.899843:0.000000
Taller:@0.181292:0.130781:0.242187:0.130781:0.242187:0.096834:0.181292:0.096834:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Utiliza conectivos lógicos, tautologías y la lógica proposicional en la solución de problemas, comunicando resultados y estrategias :@0.262313:0.113525:0.883058:0.113525:0.883058:0.103096:0.262313:0.103096:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
mediante el razonamiento lógico. (Ref. I.M.4.4.1.):@0.262313:0.124087:0.485751:0.124087:0.485751:0.113657:0.262313:0.113657:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1.:@0.120657:0.172018:0.135675:0.172018:0.135675:0.154882:0.120657:0.154882:0.000000:0.000000
 :@0.135675:0.172018:0.139582:0.172018:0.139582:0.155394:0.135675:0.155394:0.000000
Simplifica:@0.153900:0.172018:0.228587:0.172018:0.228587:0.155394:0.153900:0.155394:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la proposición:  (:@0.228587:0.172018:0.354853:0.172018:0.354853:0.155629:0.228587:0.155629:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
[ → ∼:@0.343834:0.172695:0.400351:0.172695:0.400351:0.157122:0.343834:0.157122:0.000000:0.000000:0.000000:0.000000:0.000000
p :@0.354853:0.172018:0.367440:0.172018:0.367440:0.155656:0.354853:0.155656:0.000000:0.000000
 q  :@0.400351:0.172018:0.421138:0.172018:0.421138:0.155656:0.400351:0.155656:0.000000:0.000000:0.000000:0.000000
):@0.412937:0.172018:0.417821:0.172018:0.417821:0.155629:0.412937:0.155629:0.000000
→ ∼ ] →:@0.421138:0.172695:0.498313:0.172695:0.498313:0.157122:0.421138:0.157122:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
  p:@0.454049:0.172018:0.469952:0.172018:0.469952:0.155656:0.454049:0.155656:0.000000:0.000000:0.000000
 :@0.476089:0.172018:0.480125:0.172018:0.480125:0.155629:0.476089:0.155629:0.000000
 q:@0.498313:0.172018:0.510899:0.172018:0.510899:0.155656:0.498313:0.155656:0.000000:0.000000
, para ello:@0.510899:0.172018:0.581071:0.172018:0.581071:0.155629:0.510899:0.155629:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 aplica:@0.581071:0.172018:0.630144:0.172018:0.630144:0.155394:0.581071:0.155394:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las leyes del lado derecho.:@0.630144:0.172018:0.825053:0.172018:0.825053:0.155629:0.630144:0.155629:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.606087:0.197697:0.686063:0.197697:0.686063:0.182798:0.606087:0.182798: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.606087:0.221284:0.681390:0.221284:0.681390:0.206385:0.606087:0.206385:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Doble negación:@0.606087:0.245072:0.713219:0.245072:0.713219:0.230173:0.606087:0.230173:0.000000:0.000000: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.606087:0.268860:0.682411:0.268860:0.682411:0.253961:0.606087:0.253961: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.606087:0.293000:0.703903:0.293000:0.703903:0.278101:0.606087:0.278101:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Identidad:@0.606087:0.317505:0.670350:0.317505:0.670350:0.302606:0.606087:0.302606:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Distributiva:@0.606087:0.342010:0.682411:0.342010:0.682411:0.327111:0.606087:0.327111: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.606087:0.366515:0.703903:0.366515:0.703903:0.351616:0.606087:0.351616:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Identidad:@0.606087:0.391019:0.670350:0.391019:0.670350:0.376120:0.606087:0.376120:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000