90:@0.048054:0.510692:0.066961:0.510692:0.066961:0.494068:0.048054:0.494068:0.000000:0.000000
Tema:@0.047190:0.135475:0.083321:0.135475:0.083321:0.113749:0.047190:0.113749:0.000000:0.000000:0.000000:0.000000
4:@0.054033:0.122645:0.076478:0.122645:0.076478:0.065614:0.054033:0.065614:0.000000
Actividad resuelta:@0.115354:0.721800:0.272476:0.721800:0.272476:0.703363:0.115354:0.703363:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Simplificamos::@0.115354:0.741647:0.226638:0.741647:0.226638:0.725023:0.115354:0.725023:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 [ (:@0.226638:0.741647:0.255164:0.741647:0.255164:0.725258:0.226638:0.725258:0.000000:0.000000:0.000000:0.000000
∼  →:@0.235557:0.742324:0.285939:0.742324:0.285939:0.726751:0.235557:0.726751:0.000000:0.000000:0.000000:0.000000
p   q   :@0.255164:0.741647:0.310042:0.741647:0.310042:0.725285:0.255164:0.725285:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.298525:0.741647:0.303408:0.741647:0.303408:0.725258:0.298525:0.725258:0.000000
→  ∼  →:@0.310042:0.742324:0.387825:0.742324:0.387825:0.726751:0.310042:0.726751:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.352168:0.741647:0.357051:0.741647:0.357051:0.725258:0.352168:0.725258:0.000000
q   p:@0.357051:0.741647:0.400411:0.741647:0.400411:0.725285:0.357051:0.725285:0.000000:0.000000:0.000000:0.000000:0.000000
)]  (:@0.400411:0.741647:0.434816:0.741647:0.434816:0.725258:0.400411:0.725258:0.000000:0.000000:0.000000:0.000000:0.000000
∧  ∨:@0.414213:0.742324:0.458513:0.742324:0.458513:0.726751:0.414213:0.726751:0.000000:0.000000:0.000000:0.000000
p   q:@0.434816:0.741647:0.471100:0.741647:0.471100:0.725285:0.434816:0.725285:0.000000:0.000000:0.000000:0.000000:0.000000
).:@0.471100:0.741647:0.479189:0.741647:0.479189:0.725258:0.471100:0.725258:0.000000:0.000000
Mira:@0.223875:0.196947:0.254934:0.196947:0.254934:0.181835:0.223875:0.181835:0.000000:0.000000:0.000000:0.000000
 el video :@0.254934:0.196947:0.314840:0.196947:0.314840:0.182048:0.254934:0.182048:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
del enlace y :@0.223875:0.212035:0.306900:0.212035:0.306900:0.197136:0.223875:0.197136:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
pon :@0.223875:0.227123:0.255453:0.227123:0.255453:0.212010:0.223875:0.212010:0.000000:0.000000:0.000000:0.000000
atención :@0.255453:0.227123:0.317770:0.227123:0.317770:0.212224:0.255453:0.212224:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a los ejercicios :@0.223875:0.242210:0.322897:0.242210:0.322897:0.227311:0.223875:0.227311:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
resueltos::@0.223875:0.257298:0.286728:0.257298:0.286728:0.242399:0.223875:0.242399:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
TIC:@0.163487:0.177515:0.183456:0.177515:0.183456:0.155788:0.163487:0.155788:0.000000:0.000000:0.000000
mayedu.ec/ctm9/p90:@0.162888:0.275627:0.306069:0.275627:0.306069:0.260501:0.162888:0.260501:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Cuando las columnas resultado de las tablas de verdad de dos pro-:@0.376903:0.174043:0.879904:0.174043:0.879904:0.157654:0.376903:0.157654:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
posiciones compuestas son iguales, se dice que estas proposiciones :@0.376903:0.190640:0.883939:0.190640:0.883939:0.174251:0.376903:0.174251:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
son equivalentes.:@0.376903:0.207236:0.506818:0.207236:0.506818:0.190847:0.376903:0.190847:0.000000:0.000000:0.000000:0.000000:0.000000: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 proposiciones equivalentes se convierten en leyes lógicas. Exis-:@0.376903:0.227400:0.879850:0.227400:0.879850:0.211012:0.376903:0.211012:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ten infinitas proposiciones equivalentes, pero solo consideraremos :@0.376903:0.243997:0.883903:0.243997:0.883903:0.227608:0.376903:0.227608:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
algunas a las que llamaremos leyes del álgebra proposicional.:@0.376903:0.260593:0.836969:0.260593:0.836969:0.244204:0.376903:0.244204:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
El símbolo     significa, lógicamente equivalentes.:@0.376903:0.280758:0.747925:0.280758:0.747925:0.264369:0.376903:0.264369:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
≡:@0.463163:0.281436:0.473280:0.281436:0.473280:0.265863:0.463163:0.265863:0.000000
Leyes del álgebra de proposiciones:@0.115891:0.141978:0.628016:0.141978:0.628016:0.101242:0.115891:0.101242:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
4.2.3. Conocer y aplicar las leyes de la lógica proposicional en la solución de problemas.:@0.125388:0.074999:0.530596:0.074999:0.530596:0.064570:0.125388:0.064570:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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   p     p:@0.141889:0.335372:0.210826:0.335372:0.210826:0.319011:0.141889:0.319011:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.154475:0.336050:0.165587:0.336050:0.165587:0.320477:0.154475:0.320477:0.000000
≡:@0.184807:0.336050:0.194923:0.336050:0.194923:0.320477:0.184807:0.320477:0.000000
p   p     p:@0.141889:0.355537:0.210826:0.355537:0.210826:0.339176:0.141889:0.339176:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.154475:0.356215:0.165587:0.356215:0.165587:0.340642:0.154475:0.340642:0.000000
≡:@0.184807:0.356215:0.194923:0.356215:0.194923:0.340642:0.184807:0.340642:0.000000
Leyes de idempotencia:@0.224443:0.310843:0.390658:0.310843:0.390658:0.295478:0.224443:0.295478:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.519196:0.335372:0.524079:0.335372:0.524079:0.318984:0.519196:0.318984:0.000000
p   q:@0.524079:0.335372:0.560363:0.335372:0.560363:0.319011:0.524079:0.319011:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.536666:0.336050:0.547777:0.336050:0.547777:0.320477:0.536666:0.320477:0.000000
) :@0.560363:0.335372:0.569282:0.335372:0.569282:0.318984:0.560363:0.318984:0.000000:0.000000
∨ ≡   ∨:@0.569282:0.336050:0.638663:0.336050:0.638663:0.320477:0.569282:0.320477:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 r  :@0.580394:0.335372:0.595634:0.335372:0.595634:0.319011:0.580394:0.319011:0.000000:0.000000:0.000000:0.000000
p    q   r:@0.614965:0.335372:0.679166:0.335372:0.679166:0.319011:0.614965:0.319011:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.641979:0.335372:0.646863:0.335372:0.646863:0.318984:0.641979:0.318984:0.000000
∨:@0.659449:0.336050:0.670561:0.336050:0.670561:0.320477:0.659449:0.320477:0.000000
):@0.679166:0.335372:0.684050:0.335372:0.684050:0.318984:0.679166:0.318984:0.000000
(:@0.519196:0.353753:0.524079:0.353753:0.524079:0.337364:0.519196:0.337364:0.000000
p   q:@0.524079:0.353753:0.560363:0.353753:0.560363:0.337392:0.524079:0.337392:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.536666:0.354431:0.547777:0.354431:0.547777:0.338858:0.536666:0.338858:0.000000
) :@0.560363:0.353753:0.569282:0.353753:0.569282:0.337364:0.560363:0.337364:0.000000:0.000000
∧ ≡   ∧:@0.569282:0.354431:0.638663:0.354431:0.638663:0.338858:0.569282:0.338858:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 r  :@0.580394:0.353753:0.595634:0.353753:0.595634:0.337392:0.580394:0.337392:0.000000:0.000000:0.000000:0.000000
p    q   r:@0.614965:0.353753:0.679166:0.353753:0.679166:0.337392:0.614965:0.337392:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.641979:0.353753:0.646863:0.353753:0.646863:0.337364:0.641979:0.337364:0.000000
∧:@0.659449:0.354431:0.670561:0.354431:0.670561:0.338858:0.659449:0.338858:0.000000
):@0.679166:0.353753:0.684050:0.353753:0.684050:0.337364:0.679166:0.337364:0.000000
Leyes asociativas:@0.623277:0.310843:0.746441:0.310843:0.746441:0.295478:0.623277:0.295478:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼:@0.141889:0.506090:0.152005:0.506090:0.152005:0.490517:0.141889:0.490517:0.000000
  p   q   :@0.152005:0.505412:0.208007:0.505412:0.208007:0.489051:0.152005:0.489051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.155322:0.505412:0.160206:0.505412:0.160206:0.489023:0.155322:0.489023:0.000000
∨:@0.172792:0.506090:0.183904:0.506090:0.183904:0.490517:0.172792:0.490517:0.000000
):@0.196490:0.505412:0.201373:0.505412:0.201373:0.489023:0.196490:0.489023:0.000000
≡  ∼  ∧ ∼ :@0.208007:0.506090:0.283800:0.506090:0.283800:0.490517:0.208007:0.490517:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p    q:@0.242061:0.505412:0.293069:0.505412:0.293069:0.489051:0.242061:0.489051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼:@0.141889:0.524471:0.152005:0.524471:0.152005:0.508898:0.141889:0.508898:0.000000
  p   q   :@0.152005:0.523793:0.208007:0.523793:0.208007:0.507432:0.152005:0.507432:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.155322:0.523793:0.160206:0.523793:0.160206:0.507404:0.155322:0.507404:0.000000
∧:@0.172792:0.524471:0.183904:0.524471:0.183904:0.508898:0.172792:0.508898:0.000000
):@0.196490:0.523793:0.201373:0.523793:0.201373:0.507404:0.196490:0.507404:0.000000
≡  ∼  ∨ ∼ :@0.208007:0.524471:0.283800:0.524471:0.283800:0.508898:0.208007:0.508898:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p    q:@0.242061:0.523793:0.293069:0.523793:0.293069:0.507432:0.242061:0.507432:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Leyes de De Morgan:@0.234436:0.480884:0.380666:0.480884:0.380666:0.465519:0.234436:0.465519:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.519196:0.505412:0.558908:0.505412:0.558908:0.489051:0.519196:0.489051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨  ≡  :@0.531782:0.506090:0.582845:0.506090:0.582845:0.490517:0.531782:0.490517:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
V:@0.546211:0.505412:0.555591:0.505412:0.555591:0.489023:0.546211:0.489023:0.000000
V:@0.582845:0.505412:0.592225:0.505412:0.592225:0.489023:0.582845:0.489023:0.000000
p     :@0.700119:0.505412:0.739830:0.505412:0.739830:0.489051:0.700119:0.489051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧  ≡  :@0.712705:0.506090:0.763768:0.506090:0.763768:0.490517:0.712705:0.490517:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
V:@0.727134:0.505412:0.736513:0.505412:0.736513:0.489023:0.727134:0.489023:0.000000
p:@0.763768:0.505412:0.773037:0.505412:0.773037:0.489051:0.763768:0.489051:0.000000
p     :@0.519196:0.523793:0.558042:0.523793:0.558042:0.507432:0.519196:0.507432:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨  ≡  :@0.531782:0.524471:0.581979:0.524471:0.581979:0.508898:0.531782:0.508898:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
F:@0.546211:0.523793:0.554725:0.523793:0.554725:0.507404:0.546211:0.507404:0.000000
p:@0.581979:0.523793:0.591248:0.523793:0.591248:0.507432:0.581979:0.507432:0.000000
p    :@0.700119:0.523793:0.738964:0.523793:0.738964:0.507432:0.700119:0.507432:0.000000:0.000000:0.000000:0.000000:0.000000
∧  ≡  :@0.712705:0.524471:0.762902:0.524471:0.762902:0.508898:0.712705:0.508898:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
F:@0.727134:0.523793:0.735647:0.523793:0.735647:0.507404:0.727134:0.507404:0.000000
F:@0.762902:0.523793:0.771415:0.523793:0.771415:0.507404:0.762902:0.507404:0.000000
Leyes de identidad:@0.616819:0.480884:0.752899:0.480884:0.752899:0.465519:0.616819:0.465519:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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   q     q   p:@0.141889:0.414779:0.237841:0.414779:0.237841:0.398417:0.141889:0.398417:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.154475:0.415456:0.165587:0.415456:0.165587:0.399883:0.154475:0.399883:0.000000
≡:@0.184807:0.415456:0.194923:0.415456:0.194923:0.399883:0.184807:0.399883:0.000000
∨:@0.214143:0.415456:0.225255:0.415456:0.225255:0.399883:0.214143:0.399883:0.000000
p   q     q   p:@0.141889:0.433159:0.237841:0.433159:0.237841:0.416798:0.141889:0.416798:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.154475:0.433837:0.165587:0.433837:0.165587:0.418264:0.154475:0.418264:0.000000
≡:@0.184807:0.433837:0.194923:0.433837:0.194923:0.418264:0.184807:0.418264:0.000000
∧:@0.214143:0.433837:0.225255:0.433837:0.225255:0.418264:0.214143:0.418264:0.000000
p :@0.141889:0.451540:0.154475:0.451540:0.154475:0.435178:0.141889:0.435178:0.000000:0.000000
↔:@0.154475:0.452217:0.173676:0.452217:0.173676:0.436644:0.154475:0.436644:0.000000
 q     q :@0.173676:0.451540:0.222233:0.451540:0.222233:0.435178:0.173676:0.435178:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
≡:@0.192896:0.452217:0.203013:0.452217:0.203013:0.436644:0.192896:0.436644:0.000000
↔:@0.222233:0.452217:0.241435:0.452217:0.241435:0.436644:0.222233:0.436644:0.000000
 p:@0.241435:0.451540:0.254021:0.451540:0.254021:0.435178:0.241435:0.435178:0.000000:0.000000
Leyes conmutativas:@0.236337:0.390250:0.378764:0.390250:0.378764:0.374886:0.236337:0.374886:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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    q   r   :@0.519196:0.414779:0.594915:0.414779:0.594915:0.398417:0.519196:0.398417:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.531782:0.415456:0.542894:0.415456:0.542894:0.399883:0.531782:0.399883:0.000000
(:@0.546211:0.414779:0.551094:0.414779:0.551094:0.398390:0.546211:0.398390:0.000000
∨:@0.563680:0.415456:0.574792:0.415456:0.574792:0.399883:0.563680:0.399883:0.000000
):@0.583398:0.414779:0.588281:0.414779:0.588281:0.398390:0.583398:0.398390:0.000000
≡   ∧:@0.594915:0.415456:0.642827:0.415456:0.642827:0.399883:0.594915:0.399883:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.614246:0.414779:0.619129:0.414779:0.619129:0.398390:0.614246:0.398390:0.000000
p   q:@0.619129:0.414779:0.655413:0.414779:0.655413:0.398417:0.619129:0.398417:0.000000:0.000000:0.000000:0.000000:0.000000
)  (:@0.655413:0.414779:0.684934:0.414779:0.684934:0.398390:0.655413:0.398390:0.000000:0.000000:0.000000:0.000000
∨  ∧:@0.664332:0.415456:0.708632:0.415456:0.708632:0.399883:0.664332:0.399883:0.000000:0.000000:0.000000:0.000000
p   r:@0.684934:0.414779:0.717238:0.414779:0.717238:0.398417:0.684934:0.398417:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.717238:0.414779:0.722121:0.414779:0.722121:0.398390:0.717238:0.398390:0.000000
p    q   r   :@0.519196:0.433159:0.594915:0.433159:0.594915:0.416798:0.519196:0.416798:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.531782:0.433837:0.542894:0.433837:0.542894:0.418264:0.531782:0.418264:0.000000
(:@0.546211:0.433159:0.551094:0.433159:0.551094:0.416770:0.546211:0.416770:0.000000
∧:@0.563680:0.433837:0.574792:0.433837:0.574792:0.418264:0.563680:0.418264:0.000000
):@0.583398:0.433159:0.588281:0.433159:0.588281:0.416770:0.583398:0.416770:0.000000
≡   ∨:@0.594915:0.433837:0.642827:0.433837:0.642827:0.418264:0.594915:0.418264:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.614246:0.433159:0.619129:0.433159:0.619129:0.416770:0.614246:0.416770:0.000000
p   q:@0.619129:0.433159:0.655413:0.433159:0.655413:0.416798:0.619129:0.416798:0.000000:0.000000:0.000000:0.000000:0.000000
)  (:@0.655413:0.433159:0.684934:0.433159:0.684934:0.416770:0.655413:0.416770:0.000000:0.000000:0.000000:0.000000
∧  ∨:@0.664332:0.433837:0.708632:0.433837:0.708632:0.418264:0.664332:0.418264:0.000000:0.000000:0.000000:0.000000
p   r:@0.684934:0.433159:0.717238:0.433159:0.717238:0.416798:0.684934:0.416798:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.717238:0.433159:0.722121:0.433159:0.722121:0.416770:0.717238:0.416770:0.000000
Leyes distributivas:@0.617623:0.390250:0.752093:0.390250:0.752093:0.374886:0.617623:0.374886:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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     p :@0.141889:0.581842:0.194923:0.581842:0.194923:0.565481:0.141889:0.565481:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ ∼  ≡  :@0.154475:0.582520:0.218861:0.582520:0.218861:0.566947:0.154475:0.566947:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
V            ( ):@0.218861:0.581842:0.305950:0.581842:0.305950:0.565454:0.218861:0.565454:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼ ∼:@0.272633:0.582520:0.301067:0.582520:0.301067:0.566947:0.272633:0.566947:0.000000:0.000000:0.000000
 :@0.282749:0.581842:0.286066:0.581842:0.286066:0.565481:0.282749:0.565481:0.000000
 p :@0.305950:0.581842:0.321853:0.581842:0.321853:0.565481:0.305950:0.565481:0.000000:0.000000:0.000000
 ≡  :@0.321853:0.582520:0.345790:0.582520:0.345790:0.566947:0.321853:0.566947:0.000000:0.000000:0.000000:0.000000
p:@0.345790:0.581842:0.355060:0.581842:0.355060:0.565481:0.345790:0.565481:0.000000
p     p :@0.141889:0.600223:0.194923:0.600223:0.194923:0.583862:0.141889:0.583862:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧ ∼  ≡  :@0.154475:0.600901:0.218861:0.600901:0.218861:0.585328:0.154475:0.585328:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
F            V:@0.218861:0.600223:0.294580:0.600223:0.294580:0.583834:0.218861:0.583834:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼  ≡  :@0.271767:0.600901:0.321834:0.600901:0.321834:0.585328:0.271767:0.585328:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.281883:0.600223:0.297897:0.600223:0.297897:0.583862:0.281883:0.583862:0.000000:0.000000:0.000000
F            F:@0.321834:0.600223:0.396688:0.600223:0.396688:0.583834:0.321834:0.583834:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∼  ≡  :@0.374740:0.600901:0.423942:0.600901:0.423942:0.585328:0.374740:0.585328:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.384857:0.600223:0.400005:0.600223:0.400005:0.583862:0.384857:0.583862:0.000000:0.000000:0.000000
V:@0.423942:0.600223:0.433322:0.600223:0.433322:0.583834:0.423942:0.583834:0.000000
Leyes de complemento:@0.223990:0.557314:0.391111:0.557314:0.391111:0.541950:0.223990:0.541950:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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   q  :@0.519196:0.581842:0.569190:0.581842:0.569190:0.565481:0.519196:0.565481:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
→:@0.531782:0.582520:0.549970:0.582520:0.549970:0.566947:0.531782:0.566947:0.000000
≡  ∼ ∨:@0.569190:0.582520:0.625653:0.582520:0.625653:0.566947:0.569190:0.566947:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 p   q:@0.598638:0.581842:0.638239:0.581842:0.638239:0.565481:0.598638:0.565481:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p   q  :@0.519196:0.600223:0.569190:0.600223:0.569190:0.583862:0.519196:0.583862:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
→:@0.531782:0.600901:0.549970:0.600901:0.549970:0.585328:0.531782:0.585328:0.000000
≡  ∼ → ∼:@0.569190:0.600901:0.647453:0.600901:0.647453:0.585328:0.569190:0.585328:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 p :@0.598638:0.600223:0.614541:0.600223:0.614541:0.583862:0.598638:0.583862:0.000000:0.000000:0.000000
 q:@0.647453:0.600223:0.660039:0.600223:0.660039:0.583862:0.647453:0.583862:0.000000:0.000000
Ley del condicional:@0.615487:0.557314:0.754231:0.557314:0.754231:0.541950:0.615487:0.541950:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.141889:0.657679:0.154475:0.657679:0.154475:0.641318:0.141889:0.641318:0.000000:0.000000
∨  ∧:@0.154475:0.658357:0.198775:0.658357:0.198775:0.642784:0.154475:0.642784:0.000000:0.000000:0.000000:0.000000
(:@0.170193:0.657679:0.175077:0.657679:0.175077:0.641290:0.170193:0.641290:0.000000
p   q   :@0.175077:0.657679:0.222878:0.657679:0.222878:0.641318:0.175077:0.641318:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.211361:0.657679:0.216244:0.657679:0.216244:0.641290:0.211361:0.641290:0.000000
≡  :@0.222878:0.658357:0.242209:0.658357:0.242209:0.642784:0.222878:0.642784:0.000000:0.000000:0.000000
p:@0.242209:0.657679:0.251478:0.657679:0.251478:0.641318:0.242209:0.641318:0.000000
p :@0.141889:0.676060:0.154475:0.676060:0.154475:0.659698:0.141889:0.659698:0.000000:0.000000
∧  ∨:@0.154475:0.676737:0.198775:0.676737:0.198775:0.661164:0.154475:0.661164:0.000000:0.000000:0.000000:0.000000
(:@0.170193:0.676060:0.175077:0.676060:0.175077:0.659671:0.170193:0.659671:0.000000
p   q   :@0.175077:0.676060:0.222878:0.676060:0.222878:0.659698:0.175077:0.659698:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.211361:0.676060:0.216244:0.676060:0.216244:0.659671:0.211361:0.659671:0.000000
≡  :@0.222878:0.676737:0.242209:0.676737:0.242209:0.661164:0.222878:0.661164:0.000000:0.000000:0.000000
p:@0.242209:0.676060:0.251478:0.676060:0.251478:0.659698:0.242209:0.659698:0.000000
Ley de absorción:@0.246673:0.633149:0.368428:0.633149:0.368428:0.617785:0.246673:0.617785:0.000000:0.000000:0.000000:0.000000: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.519196:0.657679:0.531782:0.657679:0.531782:0.641318:0.519196:0.641318:0.000000:0.000000
↔:@0.531782:0.658357:0.550984:0.658357:0.550984:0.642784:0.531782:0.642784:0.000000
 q  :@0.550984:0.657679:0.570204:0.657679:0.570204:0.641318:0.550984:0.641318:0.000000:0.000000:0.000000:0.000000
≡   →:@0.570204:0.658357:0.625192:0.658357:0.625192:0.642784:0.570204:0.642784:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.589534:0.657679:0.594418:0.657679:0.594418:0.641290:0.589534:0.641290:0.000000
p   q:@0.594418:0.657679:0.637778:0.657679:0.637778:0.641318:0.594418:0.641318:0.000000:0.000000:0.000000:0.000000:0.000000
)  (:@0.637778:0.657679:0.667299:0.657679:0.667299:0.641290:0.637778:0.641290:0.000000:0.000000:0.000000:0.000000
∧  →:@0.646697:0.658357:0.698073:0.658357:0.698073:0.642784:0.646697:0.642784:0.000000:0.000000:0.000000:0.000000
q   p:@0.667299:0.657679:0.710659:0.657679:0.710659:0.641318:0.667299:0.641318:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.710659:0.657679:0.715543:0.657679:0.715543:0.641290:0.710659:0.641290:0.000000
Ley del bicondicional:@0.608443:0.633149:0.761273:0.633149:0.761273:0.617785:0.608443:0.617785:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
{∼ ∼ ∼:@0.198034:0.768335:0.250923:0.768335:0.250923:0.754178:0.198034:0.754178:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.215272:0.767719:0.218288:0.767719:0.218288:0.752845:0.215272:0.752845:0.000000
[:@0.218285:0.768711:0.224421:0.768711:0.224421:0.753138:0.218285:0.753138:0.000000
 (:@0.233618:0.767719:0.241726:0.767719:0.241726:0.752820:0.233618:0.752820:0.000000:0.000000
 p  q      :@0.250923:0.767719:0.327604:0.767719:0.327604:0.752845:0.250923:0.752845:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.265374:0.768711:0.276486:0.768711:0.276486:0.753138:0.265374:0.753138:0.000000
 :@0.276486:0.768034:0.279803:0.768034:0.279803:0.751672:0.276486:0.751672:0.000000
):@0.288231:0.767719:0.292670:0.767719:0.292670:0.752820:0.288231:0.752820:0.000000
]:@0.292670:0.768335:0.298249:0.768335:0.298249:0.754178:0.292670:0.754178:0.000000
∨:@0.301263:0.768711:0.312374:0.768711:0.312374:0.753138:0.301263:0.753138:0.000000
∼ ∼:@0.315392:0.768335:0.341240:0.768335:0.341240:0.754178:0.315392:0.754178:0.000000:0.000000:0.000000
(  :@0.327604:0.767719:0.344909:0.767719:0.344909:0.752820:0.327604:0.752820:0.000000:0.000000:0.000000
q   p:@0.344909:0.767719:0.378898:0.767719:0.378898:0.752845:0.344909:0.752845:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.356344:0.768711:0.367456:0.768711:0.367456:0.753138:0.356344:0.753138:0.000000
)    (:@0.378898:0.767719:0.413257:0.767719:0.413257:0.752820:0.378898:0.752820:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
} ∧:@0.383338:0.768335:0.405149:0.768335:0.405149:0.754178:0.383338:0.754178:0.000000:0.000000:0.000000
p   q:@0.413257:0.767719:0.447253:0.767719:0.447253:0.752845:0.413257:0.752845:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.424699:0.768711:0.435811:0.768711:0.435811:0.753138:0.424699:0.753138:0.000000
):@0.447253:0.767719:0.451692:0.767719:0.451692:0.752820:0.447253:0.752820:0.000000
Condicional :@0.539944:0.766776:0.623589:0.766776:0.623589:0.751877:0.539944:0.751877:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
[:@0.198034:0.789141:0.204171:0.789141:0.204171:0.773568:0.198034:0.773568:0.000000
(  :@0.204171:0.788149:0.221476:0.788149:0.221476:0.773250:0.204171:0.773250:0.000000:0.000000:0.000000
∼:@0.208610:0.788765:0.217807:0.788765:0.217807:0.774608:0.208610:0.774608:0.000000
p  q      :@0.221476:0.788149:0.289564:0.788149:0.289564:0.773275:0.221476:0.773275:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.232914:0.789141:0.244026:0.789141:0.244026:0.773568:0.232914:0.773568:0.000000
 :@0.244026:0.788464:0.247343:0.788464:0.247343:0.772102:0.244026:0.772102:0.000000
):@0.255770:0.788149:0.260209:0.788149:0.260209:0.773250:0.255770:0.773250:0.000000
∨:@0.263225:0.789141:0.274336:0.789141:0.274336:0.773568:0.263225:0.773568:0.000000
∼ ∼:@0.277352:0.788765:0.303201:0.788765:0.303201:0.774608:0.277352:0.774608:0.000000:0.000000:0.000000
(  :@0.289564:0.788149:0.306870:0.788149:0.306870:0.773250:0.289564:0.773250:0.000000:0.000000:0.000000
q   p:@0.306870:0.788149:0.340860:0.788149:0.340860:0.773275:0.306870:0.773275:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.318306:0.789141:0.329418:0.789141:0.329418:0.773568:0.318306:0.773568:0.000000
)    (:@0.340860:0.788149:0.372757:0.788149:0.372757:0.773250:0.340860:0.773250:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
] ∧:@0.345300:0.788765:0.364649:0.788765:0.364649:0.774608:0.345300:0.774608:0.000000:0.000000:0.000000
p   q:@0.372757:0.788149:0.406752:0.788149:0.406752:0.773275:0.372757:0.773275:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.384199:0.789141:0.395311:0.789141:0.395311:0.773568:0.384199:0.773568:0.000000
):@0.406752:0.788149:0.411192:0.788149:0.411192:0.773250:0.406752:0.773250:0.000000
Complemento (doble negación):@0.539934:0.787206:0.755536:0.787206:0.755536:0.772307:0.539934:0.772307:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
[:@0.198034:0.809572:0.204171:0.809572:0.204171:0.793999:0.198034:0.793999:0.000000
(  :@0.204171:0.808580:0.221476:0.808580:0.221476:0.793681:0.204171:0.793681:0.000000:0.000000:0.000000
∼:@0.208610:0.809196:0.217807:0.809196:0.217807:0.795039:0.208610:0.795039:0.000000
p  q     q     p:@0.221476:0.808580:0.328001:0.808580:0.328001:0.793706:0.221476:0.793706:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.232914:0.809572:0.244026:0.809572:0.244026:0.793999:0.232914:0.793999:0.000000
 :@0.244026:0.808895:0.247343:0.808895:0.247343:0.792533:0.244026:0.792533:0.000000
):@0.255770:0.808580:0.260209:0.808580:0.260209:0.793681:0.255770:0.793681:0.000000
∨:@0.263225:0.809572:0.274336:0.809572:0.274336:0.793999:0.263225:0.793999:0.000000
(:@0.277352:0.808580:0.281791:0.808580:0.281791:0.793681:0.277352:0.793681:0.000000
∧:@0.293233:0.809572:0.304345:0.809572:0.304345:0.793999:0.293233:0.793999:0.000000
∼ ] ∧:@0.307362:0.809196:0.351789:0.809196:0.351789:0.795039:0.307362:0.795039:0.000000:0.000000:0.000000:0.000000:0.000000
)    (:@0.328001:0.808580:0.359898:0.808580:0.359898:0.793681:0.328001:0.793681:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p   q:@0.359898:0.808580:0.393890:0.808580:0.393890:0.793706:0.359898:0.793706:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.371336:0.809572:0.382448:0.809572:0.382448:0.793999:0.371336:0.793999:0.000000
):@0.393890:0.808580:0.398329:0.808580:0.398329:0.793681:0.393890:0.793681:0.000000
De Morgan:@0.539937:0.807637:0.615239:0.807637:0.615239:0.792738:0.539937:0.792738:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
{∼:@0.198038:0.829628:0.215276:0.829628:0.215276:0.815470:0.198038:0.815470:0.000000:0.000000
 p :@0.215276:0.829011:0.229733:0.829011:0.229733:0.814138:0.215276:0.814138:0.000000:0.000000:0.000000
∨ [ ∨:@0.229726:0.830003:0.274135:0.830003:0.274135:0.814431:0.229726:0.814431:0.000000:0.000000:0.000000:0.000000:0.000000
q :@0.251582:0.829011:0.263024:0.829011:0.263024:0.814138:0.251582:0.814138:0.000000:0.000000
 (:@0.274135:0.829011:0.282244:0.829011:0.282244:0.814112:0.274135:0.814112:0.000000:0.000000
q :@0.282244:0.829011:0.293685:0.829011:0.293685:0.814138:0.282244:0.814138:0.000000:0.000000
∧ ∼:@0.293685:0.830003:0.318231:0.830003:0.318231:0.814431:0.293685:0.814431:0.000000:0.000000:0.000000
 :@0.304797:0.829326:0.308114:0.829326:0.308114:0.812965:0.304797:0.812965:0.000000
 p:@0.318228:0.829011:0.329670:0.829011:0.329670:0.814138:0.318228:0.814138:0.000000:0.000000
):@0.329670:0.829011:0.334109:0.829011:0.334109:0.814112:0.329670:0.814112:0.000000
]} ∧:@0.334109:0.829628:0.360846:0.829628:0.360846:0.815470:0.334109:0.815470:0.000000:0.000000:0.000000:0.000000
    p   q:@0.347729:0.829011:0.402298:0.829011:0.402298:0.814138:0.347729:0.814138:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.363861:0.829011:0.368301:0.829011:0.368301:0.814112:0.363861:0.814112:0.000000
∨:@0.379742:0.830003:0.390854:0.830003:0.390854:0.814431:0.379742:0.814431:0.000000
):@0.402298:0.829011:0.406737:0.829011:0.406737:0.814112:0.402298:0.814112:0.000000
Asociativa:@0.539936:0.828068:0.607196:0.828068:0.607196:0.813169:0.539936:0.813169:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.198036:0.848764:0.202475:0.848764:0.202475:0.833865:0.198036:0.833865:0.000000
∼:@0.202475:0.849380:0.211672:0.849380:0.211672:0.835223:0.202475:0.835223:0.000000
 p   q     p   q:@0.211672:0.848764:0.307685:0.848767:0.307685:0.833894:0.211672:0.833890:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.226125:0.849759:0.237237:0.849759:0.237237:0.834187:0.226125:0.834187:0.000000
) (:@0.248678:0.848767:0.273690:0.848767:0.273690:0.833868:0.248678:0.833868:0.000000:0.000000:0.000000
∧:@0.256133:0.849384:0.266235:0.849384:0.266235:0.835226:0.256133:0.835226:0.000000
∨:@0.285132:0.849759:0.296244:0.849759:0.296244:0.834187:0.285132:0.834187:0.000000
):@0.307685:0.848767:0.312125:0.848767:0.312125:0.833868:0.307685:0.833868:0.000000
Absorción:@0.539941:0.848503:0.607771:0.848503:0.607771:0.833604:0.539941:0.833604:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.198041:0.869815:0.202480:0.869815:0.202480:0.854916:0.198041:0.854916:0.000000
∼:@0.202480:0.870431:0.211677:0.870431:0.211677:0.856274:0.202480:0.856274:0.000000
 p   p    q:@0.211677:0.869815:0.277677:0.869806:0.277677:0.854932:0.211677:0.854941:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.226125:0.870798:0.237237:0.870798:0.237237:0.855225:0.226125:0.855225:0.000000
):@0.248678:0.869806:0.253118:0.869806:0.253118:0.854907:0.248678:0.854907:0.000000
∨:@0.256133:0.870422:0.266235:0.870422:0.266235:0.856265:0.256133:0.856265:0.000000
Distributiva e idempotencia:@0.539936:0.869542:0.725097:0.869542:0.725097:0.854643:0.539936:0.854643:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
F :@0.198036:0.890576:0.209444:0.890576:0.209444:0.875677:0.198036:0.875677:0.000000:0.000000
∨:@0.209444:0.891193:0.219546:0.891193:0.219546:0.877035:0.209444:0.877035:0.000000
 q:@0.219546:0.890576:0.230988:0.890576:0.230988:0.875703:0.219546:0.875703:0.000000:0.000000
Complemento:@0.539936:0.890576:0.637751:0.890576:0.637751:0.875677:0.539936:0.875677:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.198036:0.911611:0.206462:0.911611:0.206462:0.896737:0.198036:0.896737:0.000000
Identidad:@0.539936:0.911611:0.604198:0.911611:0.604198:0.896712:0.539936:0.896712:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000