94:@0.058783:0.510692:0.077690:0.510692:0.077690:0.494068:0.058783:0.494068:0.000000:0.000000 8. :@0.508736:0.294239:0.527477:0.294239:0.527477:0.277103:0.508736:0.277103:0.000000:0.000000:0.000000 Completa:@0.541979:0.294239:0.616998:0.294239:0.616998:0.277615:0.541979:0.277615:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 los recuadros con las expresiones :@0.616998:0.294239:0.884420:0.294239:0.884420:0.277850:0.616998:0.277850:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 u operadores adecuados.:@0.541979:0.310835:0.726823:0.310835:0.726823:0.294446:0.541979:0.294446:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.541979:0.336822:0.560702:0.336822:0.560702:0.319921:0.541979:0.319921:0.000000:0.000000:0.000000 (¬ ) ∨ (¬ ) ≡ ¬(:@0.575223:0.337500:0.702945:0.337500:0.702945:0.321927:0.575223:0.321927:0.000000:0.000000:0.000000:0.000000: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.594498:0.336822:0.603767:0.336822:0.603767:0.320461:0.594498:0.320461:0.000000 :@0.609904:0.336822:0.613939:0.336822:0.613939:0.320433:0.609904:0.320433:0.000000 q:@0.648933:0.336822:0.658203:0.336822:0.658203:0.320461:0.648933:0.320461:0.000000 p :@0.702945:0.336822:0.718848:0.336822:0.718848:0.320461:0.702945:0.320461:0.000000:0.000000:0.000000 q:@0.747327:0.336822:0.763230:0.336822:0.763230:0.320461:0.747327:0.320461:0.000000:0.000000:0.000000 ):@0.763230:0.337500:0.769366:0.337500:0.769366:0.321927:0.763230:0.321927:0.000000 b) :@0.541969:0.366378:0.562000:0.366378:0.562000:0.349477:0.541969:0.349477:0.000000:0.000000:0.000000 ¬(¬ ):@0.575213:0.367055:0.623033:0.367055:0.623033:0.351482:0.575213:0.351482:0.000000:0.000000:0.000000:0.000000:0.000000 p :@0.607627:0.366378:0.629666:0.366378:0.629666:0.350016:0.607627:0.350016:0.000000:0.000000:0.000000:0.000000 :@0.658161:0.366374:0.664795:0.366374:0.664795:0.350012:0.658161:0.350012:0.000000:0.000000 ¬(¬ ) ≡ ∧:@0.664795:0.367051:0.755643:0.367051:0.755643:0.351478:0.664795:0.351478:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.697209:0.366374:0.706478:0.366374:0.706478:0.350012:0.697209:0.350012:0.000000 p q:@0.731945:0.366374:0.768229:0.366374:0.768229:0.350012:0.731945:0.350012:0.000000:0.000000:0.000000:0.000000:0.000000 c) :@0.541974:0.395929:0.559610:0.395929:0.559610:0.379028:0.541974:0.379028:0.000000:0.000000:0.000000 ¬ ∨:@0.575218:0.396607:0.612773:0.396607:0.612773:0.381034:0.575218:0.381034:0.000000:0.000000:0.000000 p :@0.588357:0.395929:0.619407:0.395929:0.619407:0.379568:0.588357:0.379568:0.000000:0.000000:0.000000:0.000000 :@0.597626:0.395929:0.601662:0.395929:0.601662:0.379540:0.597626:0.379540:0.000000 V:@0.647898:0.395925:0.678377:0.395925:0.678377:0.379564:0.647898:0.379564:0.000000:0.000000:0.000000:0.000000 ≡ :@0.654532:0.396603:0.669256:0.396603:0.669256:0.381030:0.654532:0.381030:0.000000:0.000000 d) :@0.541976:0.425481:0.562044:0.425481:0.562044:0.408580:0.541976:0.408580:0.000000:0.000000:0.000000 q :@0.575220:0.425481:0.602953:0.425481:0.602953:0.409119:0.575220:0.409119:0.000000:0.000000:0.000000 :@0.584489:0.425481:0.588524:0.425481:0.588524:0.409092:0.584489:0.409092:0.000000 ∨ ¬(:@0.588524:0.426158:0.622228:0.426158:0.622228:0.410585:0.588524:0.410585:0.000000:0.000000:0.000000:0.000000 ) ≡ :@0.650718:0.426155:0.674895:0.426155:0.674895:0.410582:0.650718:0.410582:0.000000:0.000000:0.000000:0.000000 V:@0.656854:0.425477:0.684016:0.425477:0.684016:0.409116:0.656854:0.409116:0.000000:0.000000:0.000000 e) :@0.541976:0.455032:0.560846:0.455032:0.560846:0.438132:0.541976:0.438132:0.000000:0.000000:0.000000 ¬(:@0.575220:0.455710:0.594495:0.455710:0.594495:0.440137:0.575220:0.440137:0.000000:0.000000 p :@0.594495:0.455032:0.610398:0.455032:0.610398:0.438671:0.594495:0.438671:0.000000:0.000000:0.000000 q:@0.638887:0.455029:0.654790:0.455029:0.654790:0.438667:0.638887:0.438667:0.000000:0.000000:0.000000 ) ≡ ¬ ∧ ¬:@0.654790:0.455706:0.733550:0.455706:0.733550:0.440133:0.654790:0.440133:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p q:@0.693396:0.455029:0.742819:0.455029:0.742819:0.438667:0.693396:0.438667:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 f) :@0.541976:0.484584:0.558800:0.484584:0.558800:0.467683:0.541976:0.467683:0.000000:0.000000:0.000000 a b:@0.575220:0.484584:0.614323:0.484584:0.614323:0.468223:0.575220:0.468223:0.000000:0.000000:0.000000:0.000000 ∧( ∨ ) ≡ ( ∧ ) :@0.587806:0.485262:0.722456:0.485262:0.722456:0.469689:0.587806:0.469689:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.614323:0.484584:0.618359:0.484584:0.618359:0.468195:0.614323:0.468195:0.000000 v:@0.634077:0.484584:0.641817:0.484584:0.641817:0.468223:0.634077:0.468223:0.000000 a:@0.673420:0.484584:0.682689:0.484584:0.682689:0.468223:0.673420:0.468223:0.000000 :@0.682689:0.484584:0.686725:0.484584:0.686725:0.468195:0.682689:0.468195:0.000000 b :@0.702444:0.484584:0.725773:0.484584:0.725773:0.468223:0.702444:0.468223:0.000000:0.000000:0.000000 a:@0.754262:0.484580:0.776302:0.484580:0.776302:0.468219:0.754262:0.468219:0.000000:0.000000:0.000000:0.000000 ( ∧ ):@0.760896:0.485258:0.809932:0.485258:0.809932:0.469685:0.760896:0.469685:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.776302:0.484580:0.780338:0.484580:0.780338:0.468191:0.776302:0.468191:0.000000 v:@0.796056:0.484580:0.803796:0.484580:0.803796:0.468219:0.796056:0.468219:0.000000 g) :@0.541976:0.514136:0.561896:0.514136:0.561896:0.497235:0.541976:0.497235:0.000000:0.000000:0.000000 c :@0.575220:0.514136:0.590809:0.514136:0.590809:0.497774:0.575220:0.497774:0.000000:0.000000:0.000000 :@0.582885:0.514813:0.587492:0.514813:0.587492:0.499240:0.582885:0.499240:0.000000 d:@0.619300:0.514132:0.641340:0.514132:0.641340:0.497770:0.619300:0.497770:0.000000:0.000000:0.000000:0.000000 ( ∧ ) ≡ ( ∨ ) ∧ ( ∨ ):@0.625934:0.514809:0.811132:0.514809:0.811132:0.499237:0.625934:0.499237:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.641340:0.514132:0.645375:0.514132:0.645375:0.497743:0.641340:0.497743:0.000000 e:@0.661094:0.514132:0.668889:0.514132:0.668889:0.497770:0.661094:0.497770:0.000000 c:@0.700492:0.514132:0.708158:0.514132:0.708158:0.497770:0.700492:0.497770:0.000000 :@0.708158:0.514132:0.712194:0.514132:0.712194:0.497743:0.708158:0.497743:0.000000 d:@0.727913:0.514132:0.737182:0.514132:0.737182:0.497770:0.727913:0.497770:0.000000 c:@0.769780:0.514132:0.777446:0.514132:0.777446:0.497770:0.769780:0.497770:0.000000 :@0.777446:0.514132:0.781482:0.514132:0.781482:0.497743:0.777446:0.497743:0.000000 e:@0.797201:0.514132:0.804995:0.514132:0.804995:0.497770:0.797201:0.497770:0.000000 s) :@0.542457:0.101366:0.559502:0.101366:0.559502:0.084465:0.542457:0.084465:0.000000:0.000000:0.000000 ( ∧ ¬ ) ∨ ( ∧ ) ≡ :@0.575700:0.102044:0.727913:0.102044:0.727913:0.086471:0.575700:0.086471:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.581837:0.101366:0.591106:0.101366:0.591106:0.085005:0.581837:0.085005:0.000000 :@0.591106:0.101366:0.610289:0.101366:0.610289:0.084977:0.591106:0.084977:0.000000:0.000000:0.000000 q:@0.623428:0.101366:0.632697:0.101366:0.632697:0.085005:0.623428:0.085005:0.000000 :@0.654552:0.101366:0.693176:0.101366:0.693176:0.084977:0.654552:0.084977:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.664724:0.101366:0.673993:0.101366:0.673993:0.085005:0.664724:0.085005:0.000000 p:@0.693176:0.101366:0.702446:0.101366:0.702446:0.085005:0.693176:0.085005:0.000000 ___________________:@0.750446:0.100742:0.879419:0.100742:0.879419:0.087333:0.750446:0.087333:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 t) :@0.542454:0.123795:0.558283:0.123795:0.558283:0.106894:0.542454:0.106894:0.000000:0.000000:0.000000 (¬ ∨ ¬ ) ∧ ( ∨ ¬ ) ≡ :@0.575697:0.124473:0.746226:0.124473:0.746226:0.108900:0.575697:0.108900:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.594972:0.123795:0.604241:0.123795:0.604241:0.107434:0.594972:0.107434:0.000000 :@0.604241:0.123795:0.623425:0.123795:0.623425:0.107406:0.604241:0.107406:0.000000:0.000000:0.000000 r:@0.636563:0.123795:0.641852:0.123795:0.641852:0.107434:0.636563:0.107434:0.000000 :@0.663707:0.123795:0.702332:0.123795:0.702332:0.107406:0.663707:0.107406:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.673879:0.123795:0.683149:0.123795:0.683149:0.107434:0.673879:0.107434:0.000000 r:@0.715471:0.123795:0.720759:0.123795:0.720759:0.107434:0.715471:0.107434:0.000000 ___________________:@0.750446:0.123166:0.879419:0.123166:0.879419:0.109757:0.750446:0.109757:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 u) :@0.542454:0.146219:0.562300:0.146219:0.562300:0.129318:0.542454:0.129318:0.000000:0.000000:0.000000 ( ∨ ) ∧ ( ∨ ) ∧ ( ∨ ) ≡ :@0.575697:0.146897:0.754519:0.146897:0.754519:0.131324:0.575697:0.131324:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 r:@0.581281:0.146219:0.612810:0.146219:0.612810:0.129858:0.581281:0.129858:0.000000:0.000000:0.000000 :@0.589997:0.146219:0.608074:0.146219:0.608074:0.129830:0.589997:0.129830:0.000000:0.000000:0.000000 :@0.632454:0.146219:0.668314:0.146219:0.668314:0.129830:0.632454:0.129830:0.000000:0.000000:0.000000:0.000000:0.000000 q r:@0.641520:0.146219:0.673050:0.146219:0.673050:0.129858:0.641520:0.129858:0.000000:0.000000:0.000000 :@0.692694:0.146219:0.726527:0.146219:0.726527:0.129830:0.692694:0.129830:0.000000:0.000000:0.000000:0.000000:0.000000 z r:@0.701760:0.146219:0.731263:0.146219:0.731263:0.129858:0.701760:0.129858:0.000000:0.000000:0.000000 ___________________:@0.750446:0.145590:0.879419:0.145590:0.879419:0.132181:0.750446:0.132181:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 v) :@0.542454:0.168642:0.560070:0.168642:0.560070:0.151741:0.542454:0.151741:0.000000:0.000000:0.000000 ( ∧ ) ∨ ( ∧ ) ∨ ( ∧ ) ≡ :@0.575697:0.169319:0.754519:0.169319:0.754519:0.153747:0.575697:0.153747:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 r:@0.581281:0.168642:0.612810:0.168642:0.612810:0.152281:0.581281:0.152281:0.000000:0.000000:0.000000 :@0.589997:0.168642:0.608074:0.168642:0.608074:0.152253:0.589997:0.152253:0.000000:0.000000:0.000000 :@0.632454:0.168642:0.668314:0.168642:0.668314:0.152253:0.632454:0.152253:0.000000:0.000000:0.000000:0.000000:0.000000 q r:@0.641520:0.168642:0.673050:0.168642:0.673050:0.152281:0.641520:0.152281:0.000000:0.000000:0.000000 :@0.692694:0.168642:0.726527:0.168642:0.726527:0.152253:0.692694:0.152253:0.000000:0.000000:0.000000:0.000000:0.000000 z r:@0.701760:0.168642:0.731263:0.168642:0.731263:0.152281:0.701760:0.152281:0.000000:0.000000:0.000000 ___________________:@0.750446:0.168013:0.879421:0.168013:0.879421:0.154604:0.750446:0.154604:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 w) :@0.542454:0.191066:0.565617:0.191066:0.565617:0.174165:0.542454:0.174165:0.000000:0.000000:0.000000 p:@0.575697:0.191066:0.584966:0.191066:0.584966:0.174704:0.575697:0.174704:0.000000 :@0.584966:0.191066:0.604149:0.191066:0.604149:0.174677:0.584966:0.174677:0.000000:0.000000:0.000000 ∧ ≡ :@0.589002:0.191743:0.634439:0.191743:0.634439:0.176171:0.589002:0.176171:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.604149:0.191066:0.613418:0.191066:0.613418:0.174704:0.604149:0.174704:0.000000 :@0.690142:0.191743:0.694749:0.191743:0.694749:0.176171:0.690142:0.176171:0.000000 ___________________:@0.750446:0.190437:0.879419:0.190437:0.879419:0.177028:0.750446:0.177028:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 x) :@0.542454:0.213488:0.560918:0.213488:0.560918:0.196588:0.542454:0.196588:0.000000:0.000000:0.000000 p:@0.575697:0.213488:0.584966:0.213488:0.584966:0.197127:0.575697:0.197127:0.000000 :@0.584966:0.213488:0.604149:0.213488:0.604149:0.197100:0.584966:0.197100:0.000000:0.000000:0.000000 ∨ ≡ :@0.589002:0.214166:0.634439:0.214166:0.634439:0.198593:0.589002:0.198593:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.604149:0.213488:0.613418:0.213488:0.613418:0.197127:0.604149:0.197127:0.000000 :@0.690142:0.214166:0.694749:0.214166:0.694749:0.198593:0.690142:0.198593:0.000000 ___________________:@0.750446:0.212860:0.879419:0.212860:0.879419:0.199451:0.750446:0.199451:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 y) :@0.542454:0.235912:0.561029:0.235912:0.561029:0.219012:0.542454:0.219012:0.000000:0.000000:0.000000 ( ∧ ) ↔ ≡ :@0.575697:0.236590:0.694749:0.236590:0.694749:0.221017:0.575697:0.221017:0.000000: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.581833:0.235912:0.591102:0.235912:0.591102:0.219551:0.581833:0.219551:0.000000 :@0.591102:0.235912:0.610286:0.235912:0.610286:0.219523:0.591102:0.219523:0.000000:0.000000:0.000000 p:@0.610286:0.235912:0.619555:0.235912:0.619555:0.219551:0.610286:0.219551:0.000000 :@0.649500:0.235912:0.653535:0.235912:0.653535:0.219523:0.649500:0.219523:0.000000 p:@0.653535:0.235912:0.662804:0.235912:0.662804:0.219551:0.653535:0.219551:0.000000 ___________________:@0.750446:0.235284:0.879419:0.235284:0.879419:0.221875:0.750446:0.221875:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 z) :@0.542454:0.258336:0.560107:0.258336:0.560107:0.241436:0.542454:0.241436:0.000000:0.000000:0.000000 ( ∨ ) ↔ ≡ :@0.575697:0.259014:0.694749:0.259014:0.694749:0.243441:0.575697:0.243441:0.000000: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.581833:0.258336:0.591102:0.258336:0.591102:0.241975:0.581833:0.241975:0.000000 :@0.591102:0.258336:0.610286:0.258336:0.610286:0.241947:0.591102:0.241947:0.000000:0.000000:0.000000 p:@0.610286:0.258336:0.619555:0.258336:0.619555:0.241975:0.610286:0.241975:0.000000 :@0.649500:0.258336:0.653535:0.258336:0.653535:0.241947:0.649500:0.241947:0.000000 p:@0.653535:0.258336:0.662804:0.258336:0.662804:0.241975:0.653535:0.241975:0.000000 ___________________:@0.750446:0.257708:0.879419:0.257708:0.879419:0.244299:0.750446:0.244299:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 7. :@0.114877:0.478696:0.133618:0.478696:0.133618:0.461560:0.114877:0.461560:0.000000:0.000000:0.000000 Calcula simplifica:@0.148121:0.478696:0.293551:0.478696:0.293551:0.462072:0.148121:0.462072:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 o :@0.207144:0.478696:0.220983:0.478696:0.220983:0.462307:0.207144:0.462307:0.000000:0.000000 las siguientes expresiones :@0.293551:0.478696:0.489841:0.478696:0.489841:0.462307:0.293551:0.462307:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 proposi-:@0.148121:0.495292:0.485825:0.495292:0.485825:0.478903:0.148121:0.478903:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 cional.:@0.148121:0.511889:0.195148:0.511889:0.195148:0.495500:0.148121:0.495500:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 a) :@0.148121:0.537876:0.166843:0.537876:0.166843:0.520975:0.148121:0.520975:0.000000:0.000000:0.000000 ¬¬ ≡:@0.181364:0.538554:0.231063:0.538554:0.231063:0.522981:0.181364:0.522981:0.000000:0.000000:0.000000:0.000000 p:@0.207642:0.537876:0.216911:0.537876:0.216911:0.521515:0.207642:0.521515:0.000000 :@0.216911:0.537876:0.239540:0.537876:0.239540:0.521487:0.216911:0.521487:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.295818:0.538554:0.300425:0.538554:0.300425:0.522981:0.295818:0.522981:0.000000 ___________________:@0.356112:0.537247:0.485775:0.537247:0.485775:0.523838:0.356112:0.523838:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 b) :@0.148119:0.560299:0.168150:0.560299:0.168150:0.543398:0.148119:0.543398:0.000000:0.000000:0.000000 ¬( ∧ ¬ ) ≡:@0.181362:0.560976:0.272358:0.560976:0.272358:0.545403:0.181362:0.545403:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.200638:0.560299:0.209907:0.560299:0.209907:0.543937:0.200638:0.543937:0.000000 :@0.209907:0.560299:0.229090:0.560299:0.229090:0.543910:0.209907:0.543910:0.000000:0.000000:0.000000 q:@0.242229:0.560299:0.251498:0.560299:0.251498:0.543937:0.242229:0.543937:0.000000 :@0.272358:0.560299:0.280429:0.560299:0.280429:0.543910:0.272358:0.543910:0.000000:0.000000 :@0.295798:0.560976:0.300405:0.560976:0.300405:0.545403:0.295798:0.545403:0.000000 ___________________:@0.356112:0.559670:0.485775:0.559670:0.485775:0.546261:0.356112:0.546261:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 c) :@0.148119:0.582723:0.165754:0.582723:0.165754:0.565822:0.148119:0.565822:0.000000:0.000000:0.000000 ¬(¬ ∨ ) ≡ :@0.181362:0.583400:0.276965:0.583400:0.276965:0.567827:0.181362:0.567827:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.213777:0.582723:0.223046:0.582723:0.223046:0.566361:0.213777:0.566361:0.000000 :@0.223046:0.582723:0.242229:0.582723:0.242229:0.566334:0.223046:0.566334:0.000000:0.000000:0.000000 q:@0.242229:0.582723:0.251498:0.582723:0.251498:0.566361:0.242229:0.566361:0.000000 :@0.295809:0.583400:0.300416:0.583400:0.300416:0.567827:0.295809:0.567827:0.000000 ___________________:@0.356112:0.582094:0.485775:0.582094:0.485775:0.568685:0.356112:0.568685:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 d) :@0.148119:0.605147:0.168187:0.605147:0.168187:0.588246:0.148119:0.588246:0.000000:0.000000:0.000000 ¬(¬ ∧ ¬ ) ≡ :@0.181362:0.605824:0.300405:0.605824:0.300405:0.590251:0.181362:0.590251:0.000000: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.213777:0.605147:0.223046:0.605147:0.223046:0.588785:0.213777:0.588785:0.000000 :@0.223046:0.605147:0.242229:0.605147:0.242229:0.588758:0.223046:0.588758:0.000000:0.000000:0.000000 q:@0.255368:0.605147:0.264637:0.605147:0.264637:0.588785:0.255368:0.588785:0.000000 :@0.285497:0.605147:0.293568:0.605147:0.293568:0.588758:0.285497:0.588758:0.000000:0.000000 ___________________:@0.356112:0.604518:0.485775:0.604518:0.485775:0.591109:0.356112:0.591109:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 e) :@0.148119:0.627569:0.166989:0.627569:0.166989:0.610669:0.148119:0.610669:0.000000:0.000000:0.000000 [ ∧ ( ∧ )] ∨ ( ∨ ) ≡ :@0.181362:0.628247:0.343139:0.628247:0.343139:0.612674:0.181362:0.612674:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.186946:0.627569:0.196215:0.627569:0.196215:0.611208:0.186946:0.611208:0.000000 :@0.195662:0.627569:0.199698:0.627569:0.199698:0.611180:0.195662:0.611180:0.000000 q F:@0.219342:0.627569:0.253635:0.627569:0.253635:0.611208:0.219342:0.611208:0.000000:0.000000:0.000000 :@0.228058:0.627569:0.246135:0.627569:0.246135:0.611180:0.228058:0.611180:0.000000:0.000000:0.000000 r V:@0.288501:0.627569:0.319883:0.627569:0.319883:0.611208:0.288501:0.611208:0.000000:0.000000:0.000000 :@0.293236:0.627569:0.311314:0.627569:0.311314:0.611180:0.293236:0.611180:0.000000:0.000000:0.000000 ___________________:@0.356112:0.626941:0.485775:0.626941:0.485775:0.613531:0.356112:0.613531:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.148119:0.649993:0.163838:0.649993:0.163838:0.633093:0.148119:0.633093:0.000000:0.000000:0.000000 p:@0.181362:0.649993:0.190631:0.649993:0.190631:0.633632:0.181362:0.633632:0.000000 :@0.190079:0.649993:0.194114:0.649993:0.194114:0.633604:0.190079:0.633604:0.000000 ∧ [( ∧ ) ∨ ( ∨ )] ≡ :@0.193561:0.650671:0.343139:0.650671:0.343139:0.635098:0.193561:0.635098:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 q F:@0.219342:0.649993:0.253635:0.649993:0.253635:0.633632:0.219342:0.633632:0.000000:0.000000:0.000000 :@0.228058:0.649993:0.246135:0.649993:0.246135:0.633604:0.228058:0.633604:0.000000:0.000000:0.000000 r V:@0.282917:0.649993:0.314299:0.649993:0.314299:0.633632:0.282917:0.633632:0.000000:0.000000:0.000000 :@0.287653:0.649993:0.305730:0.649993:0.305730:0.633604:0.287653:0.633604:0.000000:0.000000:0.000000 ___________________:@0.356112:0.649365:0.485775:0.649365:0.485775:0.635955:0.356112:0.635955:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 g) :@0.148117:0.672417:0.168037:0.672417:0.168037:0.655517:0.148117:0.655517:0.000000:0.000000:0.000000 p:@0.181361:0.672417:0.190630:0.672417:0.190630:0.656056:0.181361:0.656056:0.000000 :@0.190630:0.672417:0.194665:0.672417:0.194665:0.656028:0.190630:0.656028:0.000000 ∧ ( → ) ≡ :@0.194665:0.673095:0.300403:0.673095:0.300403:0.657522:0.194665:0.657522:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.216521:0.672417:0.225790:0.672417:0.225790:0.656056:0.216521:0.656056:0.000000 :@0.225790:0.672417:0.252049:0.672417:0.252049:0.656028:0.225790:0.656028:0.000000:0.000000:0.000000 F:@0.252049:0.672417:0.260102:0.672417:0.260102:0.656056:0.252049:0.656056:0.000000 :@0.280962:0.672417:0.289033:0.672417:0.289033:0.656028:0.280962:0.656028:0.000000:0.000000 ___________________:@0.356112:0.671788:0.485775:0.671788:0.485775:0.658379:0.356112:0.658379:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 h) :@0.148117:0.694840:0.168019:0.694840:0.168019:0.677939:0.148117:0.677939:0.000000:0.000000:0.000000 p:@0.181361:0.694840:0.190630:0.694840:0.190630:0.678479:0.181361:0.678479:0.000000 :@0.190630:0.694840:0.194665:0.694840:0.194665:0.678451:0.190630:0.678451:0.000000 ∧ ( → ) ≡ :@0.194665:0.695518:0.300403:0.695518:0.300403:0.679945:0.194665:0.679945:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.216521:0.694840:0.225790:0.694840:0.225790:0.678479:0.216521:0.678479:0.000000 :@0.225790:0.694840:0.252049:0.694840:0.252049:0.678451:0.225790:0.678451:0.000000:0.000000:0.000000 V:@0.252049:0.694840:0.261171:0.694840:0.261171:0.678479:0.252049:0.678479:0.000000 :@0.282031:0.694840:0.290102:0.694840:0.290102:0.678451:0.282031:0.678451:0.000000:0.000000 ___________________:@0.356112:0.694211:0.485775:0.694211:0.485775:0.680802:0.356112:0.680802:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 i) :@0.148117:0.717264:0.162196:0.717264:0.162196:0.700363:0.148117:0.700363:0.000000:0.000000:0.000000 ¬( ∧ ) ∨ ( → ) ≡ :@0.181361:0.717941:0.344685:0.717941:0.344685:0.702369:0.181361:0.702369:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.200636:0.717264:0.209905:0.717264:0.209905:0.700903:0.200636:0.700903:0.000000 :@0.209905:0.717264:0.248529:0.717264:0.248529:0.700875:0.209905:0.700875:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.229088:0.717264:0.238357:0.717264:0.238357:0.700903:0.229088:0.700903:0.000000 p:@0.270385:0.717264:0.279654:0.717264:0.279654:0.700903:0.270385:0.700903:0.000000 :@0.279654:0.717264:0.305913:0.717264:0.305913:0.700875:0.279654:0.700875:0.000000:0.000000:0.000000 q:@0.305913:0.717264:0.315182:0.717264:0.315182:0.700903:0.305913:0.700903:0.000000 :@0.336042:0.717264:0.340078:0.717264:0.340078:0.700875:0.336042:0.700875:0.000000 ___________________:@0.356112:0.716635:0.485775:0.716635:0.485775:0.703226:0.356112:0.703226:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 j) :@0.148117:0.739688:0.162454:0.739688:0.162454:0.722787:0.148117:0.722787:0.000000:0.000000:0.000000 ¬( ∨ ) ∧ ( ∨ ) ≡ :@0.181361:0.740365:0.333573:0.740365:0.333573:0.724793:0.181361:0.724793:0.000000:0.000000:0.000000:0.000000:0.000000: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.200636:0.739688:0.209905:0.739688:0.209905:0.723327:0.200636:0.723327:0.000000 :@0.209905:0.739688:0.248529:0.739688:0.248529:0.723299:0.209905:0.723299:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.229088:0.739688:0.238357:0.739688:0.238357:0.723327:0.229088:0.723327:0.000000 p:@0.270385:0.739688:0.279654:0.739688:0.279654:0.723327:0.270385:0.723327:0.000000 :@0.279654:0.739688:0.298837:0.739688:0.298837:0.723299:0.279654:0.723299:0.000000:0.000000:0.000000 q:@0.298837:0.739688:0.308106:0.739688:0.308106:0.723327:0.298837:0.723327:0.000000 ___________________:@0.356112:0.739059:0.485775:0.739059:0.485775:0.725650:0.356112:0.725650:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 k) :@0.148117:0.762110:0.166858:0.762110:0.166858:0.745210:0.148117:0.745210:0.000000:0.000000:0.000000 (¬ ∨ ¬ ) ∨ ( ∧ ) ≡ :@0.181361:0.762788:0.347283:0.762788:0.347283:0.747215:0.181361:0.747215:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.200636:0.762110:0.209905:0.762110:0.209905:0.745749:0.200636:0.745749:0.000000 :@0.209905:0.762110:0.229088:0.762110:0.229088:0.745722:0.209905:0.745722:0.000000:0.000000:0.000000 q:@0.242227:0.762110:0.251496:0.762110:0.251496:0.745749:0.242227:0.745749:0.000000 p:@0.284095:0.762110:0.293364:0.762110:0.293364:0.745749:0.284095:0.745749:0.000000 :@0.293364:0.762110:0.312547:0.762110:0.312547:0.745722:0.293364:0.745722:0.000000:0.000000:0.000000 q:@0.312547:0.762110:0.321816:0.762110:0.321816:0.745749:0.312547:0.745749:0.000000 ___________________:@0.356112:0.761482:0.485775:0.761482:0.485775:0.748073:0.356112:0.748073:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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) :@0.148117:0.784534:0.162214:0.784534:0.162214:0.767634:0.148117:0.767634:0.000000:0.000000:0.000000 ¬( ∨ ) ∨¬(¬ ∧¬ ) ≡ :@0.181361:0.785212:0.356036:0.785212:0.356036:0.769639:0.181361:0.769639:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.199162:0.784534:0.233935:0.784534:0.233935:0.768173:0.199162:0.768173:0.000000:0.000000:0.000000 :@0.207694:0.784534:0.225403:0.784534:0.225403:0.768146:0.207694:0.768146:0.000000:0.000000:0.000000 :@0.252841:0.784534:0.256877:0.784534:0.256877:0.768146:0.252841:0.768146:0.000000 p:@0.286343:0.784534:0.295612:0.784534:0.295612:0.768173:0.286343:0.768173:0.000000 :@0.294875:0.784534:0.312584:0.784534:0.312584:0.768146:0.294875:0.768146:0.000000:0.000000:0.000000 q:@0.324249:0.784534:0.333518:0.784534:0.333518:0.768173:0.324249:0.768173:0.000000 ___________________:@0.355287:0.783906:0.484951:0.783906:0.484951:0.770497:0.355287:0.770497:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 m) :@0.148117:0.806958:0.173105:0.806958:0.173105:0.790058:0.148117:0.790058:0.000000:0.000000:0.000000 ( ∨ ¬ ) ∨ ( ∧ ) ≡ :@0.181361:0.807636:0.329593:0.807636:0.329593:0.792063:0.181361:0.792063:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.187497:0.806958:0.196766:0.806958:0.196766:0.790597:0.187497:0.790597:0.000000 :@0.196766:0.806958:0.215949:0.806958:0.215949:0.790569:0.196766:0.790569:0.000000:0.000000:0.000000 q:@0.229088:0.806958:0.238357:0.806958:0.238357:0.790597:0.229088:0.790597:0.000000 :@0.260212:0.806958:0.298837:0.806958:0.298837:0.790569:0.260212:0.790569:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.270385:0.806958:0.279654:0.806958:0.279654:0.790597:0.270385:0.790597:0.000000 r:@0.298837:0.806958:0.304126:0.806958:0.304126:0.790597:0.298837:0.790597:0.000000 ___________________:@0.356112:0.806330:0.485775:0.806330:0.485775:0.792921:0.356112:0.792921:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 n) :@0.148117:0.829381:0.168019:0.829381:0.168019:0.812480:0.148117:0.812480:0.000000:0.000000:0.000000 ¬¬¬¬¬¬¬¬¬¬¬ ≡ :@0.181361:0.830059:0.346730:0.830059:0.346730:0.814486:0.181361:0.814486:0.000000:0.000000:0.000000: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.319807:0.829381:0.329077:0.829381:0.329077:0.813020:0.319807:0.813020:0.000000 ___________________:@0.356112:0.828752:0.485775:0.828752:0.485775:0.815343:0.356112:0.815343:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 o) :@0.148117:0.851805:0.166655:0.851805:0.166655:0.834904:0.148117:0.834904:0.000000:0.000000:0.000000 ¬¬¬¬¬¬¬¬¬¬¬¬ ≡ :@0.181361:0.852483:0.359316:0.852483:0.359316:0.836910:0.181361:0.836910:0.000000:0.000000:0.000000:0.000000: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.332394:0.851805:0.341663:0.851805:0.341663:0.835444:0.332394:0.835444:0.000000 __________________:@0.358752:0.851176:0.481631:0.851176:0.481631:0.837767:0.358752:0.837767:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.148117:0.874229:0.168148:0.874229:0.168148:0.857328:0.148117:0.857328:0.000000:0.000000:0.000000 ( ∨ ) ∧ ( ∨ ) ≡ :@0.181361:0.874907:0.312473:0.874907:0.312473:0.859334:0.181361:0.859334:0.000000:0.000000:0.000000:0.000000: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.187497:0.874229:0.196766:0.874229:0.196766:0.857868:0.187497:0.857868:0.000000 :@0.196766:0.874229:0.215949:0.874229:0.215949:0.857840:0.196766:0.857840:0.000000:0.000000:0.000000 r:@0.215949:0.874229:0.221238:0.874229:0.221238:0.857868:0.215949:0.857868:0.000000 :@0.243093:0.874229:0.281718:0.874229:0.281718:0.857840:0.243093:0.857840:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.253265:0.874229:0.262534:0.874229:0.262534:0.857868:0.253265:0.857868:0.000000 r:@0.281718:0.874229:0.287006:0.874229:0.287006:0.857868:0.281718:0.857868:0.000000 ___________________:@0.356112:0.873600:0.485775:0.873600:0.485775:0.860191:0.356112:0.860191:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 q) :@0.148117:0.896652:0.168185:0.896652:0.168185:0.879751:0.148117:0.879751:0.000000:0.000000:0.000000 ( ∧ ¬ ) ∨ ( ∧ ) ≡ :@0.181361:0.897329:0.333573:0.897329:0.333573:0.881756:0.181361:0.881756:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.187497:0.896652:0.196766:0.896652:0.196766:0.880290:0.187497:0.880290:0.000000 :@0.196766:0.896652:0.215949:0.896652:0.215949:0.880263:0.196766:0.880263:0.000000:0.000000:0.000000 q:@0.229088:0.896652:0.238357:0.896652:0.238357:0.880290:0.229088:0.880290:0.000000 :@0.260212:0.896652:0.298837:0.896652:0.298837:0.880263:0.260212:0.880263:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.270385:0.896652:0.279654:0.896652:0.279654:0.880290:0.270385:0.880290:0.000000 q:@0.298837:0.896652:0.308106:0.896652:0.308106:0.880290:0.298837:0.880290:0.000000 ___________________:@0.356112:0.896023:0.485775:0.896023:0.485775:0.882614:0.356112:0.882614:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.148117:0.919075:0.164039:0.919075:0.164039:0.902175:0.148117:0.902175:0.000000:0.000000:0.000000 ( ∨ ¬ ) ∧ (¬ ∧ ) ≡ :@0.181361:0.919753:0.338746:0.919753:0.338746:0.904180:0.181361:0.904180:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.187497:0.919075:0.196766:0.919075:0.196766:0.902714:0.187497:0.902714:0.000000 :@0.196766:0.919075:0.215949:0.919075:0.215949:0.902687:0.196766:0.902687:0.000000:0.000000:0.000000 r:@0.229088:0.919075:0.234377:0.919075:0.234377:0.902714:0.229088:0.902714:0.000000 :@0.256232:0.919075:0.260268:0.919075:0.260268:0.902687:0.256232:0.902687:0.000000 r:@0.279538:0.919075:0.284827:0.919075:0.284827:0.902714:0.279538:0.902714:0.000000 :@0.284827:0.919075:0.304010:0.919075:0.304010:0.902687:0.284827:0.902687:0.000000:0.000000:0.000000 q:@0.304010:0.919075:0.313279:0.919075:0.313279:0.902714:0.304010:0.902714:0.000000 ___________________:@0.356112:0.918447:0.485775:0.918447:0.485775:0.905038:0.356112:0.905038:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 d) :@0.148593:0.101371:0.168661:0.101371:0.168661:0.084471:0.148593:0.084471:0.000000:0.000000:0.000000 p :@0.181836:0.101371:0.194422:0.101371:0.194422:0.085010:0.181836:0.085010:0.000000:0.000000 ∧ ( ∨ ¬ ) ≡ ∧ :@0.194422:0.102049:0.320486:0.102049:0.320486:0.086476:0.194422:0.086476:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 q:@0.216278:0.101371:0.225547:0.101371:0.225547:0.085010:0.216278:0.085010:0.000000 :@0.225547:0.101371:0.244730:0.101371:0.244730:0.084982:0.225547:0.084982:0.000000:0.000000:0.000000 q:@0.257869:0.101371:0.267138:0.101371:0.267138:0.085010:0.257869:0.085010:0.000000 :@0.273274:0.101371:0.304767:0.101371:0.304767:0.084982:0.273274:0.084982:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.291462:0.101371:0.300731:0.101371:0.300731:0.085010:0.291462:0.085010:0.000000 V:@0.320486:0.101371:0.329608:0.101371:0.329608:0.085010:0.320486:0.085010:0.000000 _____________________________________________:@0.181835:0.125681:0.487901:0.125681:0.487901:0.112272:0.181835:0.112272:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.148593:0.163066:0.152629:0.163066:0.152629:0.146677:0.148593:0.146677:0.000000 :@0.181835:0.163066:0.185870:0.163066:0.185870:0.146677:0.181835:0.146677:0.000000 :@0.235977:0.163066:0.274269:0.163066:0.274269:0.146677:0.235977:0.146677:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ≡:@0.273348:0.163743:0.283465:0.163743:0.283465:0.148170:0.273348:0.148170:0.000000 :@0.283465:0.163066:0.287500:0.163066:0.287500:0.146677:0.283465:0.146677:0.000000 p:@0.287500:0.163066:0.296770:0.163066:0.296770:0.146704:0.287500:0.146704:0.000000 _____________________________________________:@0.181835:0.187376:0.487901:0.187376:0.487901:0.173966:0.181835:0.173966:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 e) :@0.148593:0.225975:0.167463:0.225975:0.167463:0.209074:0.148593:0.209074:0.000000:0.000000:0.000000 z :@0.181836:0.225975:0.192395:0.225975:0.192395:0.209613:0.181836:0.209613:0.000000:0.000000 ∨ ( → ) ≡ ∨ (¬ ∨ ):@0.192395:0.226652:0.373207:0.226652:0.373207:0.211079:0.192395:0.211079:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.214251:0.225975:0.226837:0.225975:0.226837:0.209613:0.214251:0.209613:0.000000:0.000000 q:@0.249632:0.225975:0.258901:0.225975:0.258901:0.209613:0.249632:0.209613:0.000000 :@0.265037:0.225975:0.294503:0.225975:0.294503:0.209586:0.265037:0.209586:0.000000:0.000000:0.000000:0.000000:0.000000 z:@0.283225:0.225975:0.290467:0.225975:0.290467:0.209613:0.283225:0.209613:0.000000 p q:@0.329497:0.225975:0.367071:0.225975:0.367071:0.209613:0.329497:0.209613:0.000000:0.000000:0.000000:0.000000 _____________________________________________:@0.181835:0.250285:0.487901:0.250285:0.487901:0.236876:0.181835:0.236876:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 z:@0.181836:0.287669:0.189078:0.287669:0.189078:0.271308:0.181836:0.271308:0.000000 ∨ ( → ) ≡ ∨ ¬ ∨ :@0.192395:0.288347:0.351665:0.288347:0.351665:0.272774:0.192395:0.272774:0.000000:0.000000:0.000000:0.000000:0.000000: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.214251:0.287669:0.226837:0.287669:0.226837:0.271308:0.214251:0.271308:0.000000:0.000000 q:@0.249632:0.287669:0.258901:0.287669:0.258901:0.271308:0.249632:0.271308:0.000000 :@0.265037:0.287669:0.294503:0.287669:0.294503:0.271280:0.265037:0.271280:0.000000:0.000000:0.000000:0.000000:0.000000 z:@0.283225:0.287669:0.290467:0.287669:0.290467:0.271308:0.283225:0.271308:0.000000 p q:@0.323361:0.287669:0.360935:0.287669:0.360935:0.271308:0.323361:0.271308:0.000000:0.000000:0.000000:0.000000 _____________________________________________:@0.181835:0.311979:0.487901:0.311979:0.487901:0.298570:0.181835:0.298570:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 z:@0.181836:0.349365:0.189078:0.349365:0.189078:0.333004:0.181836:0.333004:0.000000 ∨ ( → ) ≡ ¬ ∨ ∨ :@0.192395:0.350043:0.352974:0.350043:0.352974:0.334470:0.192395:0.334470:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.214251:0.349365:0.226837:0.349365:0.226837:0.333004:0.214251:0.333004:0.000000:0.000000 q:@0.249632:0.349365:0.258901:0.349365:0.258901:0.333004:0.249632:0.333004:0.000000 :@0.265037:0.349365:0.283225:0.349365:0.283225:0.332976:0.265037:0.332976:0.000000:0.000000:0.000000 p q z:@0.296364:0.349365:0.360216:0.349365:0.360216:0.333004:0.296364:0.333004:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 _____________________________________________:@0.181835:0.373674:0.487901:0.373674:0.487901:0.360265:0.181835:0.360265:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.148593:0.412273:0.165417:0.412273:0.165417:0.395372:0.148593:0.395372:0.000000:0.000000:0.000000 p :@0.181836:0.412273:0.194422:0.412273:0.194422:0.395912:0.181836:0.395912:0.000000:0.000000 ∨ ( ∧ ) ∧ ≡ ∧:@0.194422:0.412950:0.328355:0.412950:0.328355:0.397378:0.194422:0.397378:0.000000:0.000000: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.216278:0.412273:0.225547:0.412273:0.225547:0.395912:0.216278:0.395912:0.000000 :@0.225547:0.412273:0.244730:0.412273:0.244730:0.395884:0.225547:0.395884:0.000000:0.000000:0.000000 q:@0.244730:0.412273:0.253999:0.412273:0.253999:0.395912:0.244730:0.395912:0.000000 r p r:@0.280461:0.412273:0.336960:0.412273:0.336960:0.395912:0.280461:0.395912:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.285750:0.412273:0.317243:0.412273:0.317243:0.395884:0.285750:0.395884:0.000000:0.000000:0.000000:0.000000:0.000000 _____________________________________________:@0.181835:0.436583:0.487901:0.436583:0.487901:0.423174:0.181835:0.423174:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 9. :@0.508294:0.551720:0.527035:0.551720:0.527035:0.534584:0.508294:0.534584:0.000000:0.000000:0.000000 Simplifica:@0.541537:0.551720:0.613276:0.551720:0.613276:0.535096:0.541537:0.535096:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 las siguientes expresiones utilizando :@0.612907:0.551720:0.885636:0.551720:0.885636:0.535331:0.612907:0.535331:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.881582:0.551720:0.885618:0.551720:0.885618:0.535331:0.881582:0.535331:0.000000 las leyes del cálculo proposicional.:@0.541537:0.568316:0.791541:0.568316:0.791541:0.551927:0.541537:0.551927:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.541537:0.588481:0.560260:0.588481:0.560260:0.571580:0.541537:0.571580:0.000000:0.000000:0.000000 ¬[( ∨ ) ↔ ]:@0.574781:0.589159:0.686636:0.589159:0.686636:0.573586:0.574781:0.573586:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.600192:0.588481:0.609461:0.588481:0.609461:0.572120:0.600192:0.572120:0.000000 :@0.609461:0.588481:0.628202:0.588481:0.628202:0.571580:0.609461:0.571580:0.000000:0.000000:0.000000 p:@0.628202:0.588481:0.637471:0.588481:0.637471:0.572120:0.628202:0.572120:0.000000 :@0.667416:0.588481:0.671231:0.588481:0.671231:0.571580:0.667416:0.571580:0.000000 p:@0.671231:0.588481:0.680500:0.588481:0.680500:0.572120:0.671231:0.572120:0.000000 :@0.541537:0.688101:0.545352:0.688101:0.545352:0.671200:0.541537:0.671200:0.000000 b) :@0.541534:0.708260:0.561565:0.708260:0.561565:0.691360:0.541534:0.691360:0.000000:0.000000:0.000000 ¬(¬ ∨ ¬ ):@0.574777:0.708938:0.663746:0.708938:0.663746:0.693365:0.574777:0.693365:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.607191:0.708260:0.616461:0.708260:0.616461:0.691899:0.607191:0.691899:0.000000 :@0.616461:0.708260:0.635201:0.708260:0.635201:0.691360:0.616461:0.691360:0.000000:0.000000:0.000000 q:@0.648340:0.708260:0.657609:0.708260:0.657609:0.691899:0.648340:0.691899:0.000000 :@0.541534:0.807880:0.545348:0.807880:0.545348:0.790979:0.541534:0.790979:0.000000 c) :@0.541534:0.828043:0.559169:0.828043:0.559169:0.811143:0.541534:0.811143:0.000000:0.000000:0.000000 [ ∧ ( ∨ ¬ )] →:@0.574777:0.828721:0.701338:0.828721:0.701338:0.813148:0.574777:0.813148:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 b:@0.580914:0.828043:0.590183:0.828043:0.590183:0.811682:0.580914:0.811682:0.000000 :@0.590183:0.828043:0.593997:0.828043:0.593997:0.811143:0.590183:0.811143:0.000000 a:@0.615852:0.828043:0.625122:0.828043:0.625122:0.811682:0.615852:0.811682:0.000000 :@0.625122:0.828043:0.643862:0.828043:0.643862:0.811143:0.625122:0.811143:0.000000:0.000000:0.000000 b:@0.657001:0.828043:0.666270:0.828043:0.666270:0.811682:0.657001:0.811682:0.000000 :@0.701338:0.828043:0.705153:0.828043:0.705153:0.811143:0.701338:0.811143:0.000000 a:@0.705153:0.828043:0.714422:0.828043:0.714422:0.811682:0.705153:0.811682:0.000000 :@0.541534:0.927663:0.545348:0.927663:0.545348:0.910762:0.541534:0.910762:0.000000 Ley de complemento:@0.187911:0.125513:0.345427:0.125513:0.345427:0.109124:0.187911:0.109124:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 identidad:@0.187911:0.189671:0.310657:0.189671:0.310657:0.173282:0.187911:0.173282:0.000000:0.000000:0.000000:0.000000: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.187911:0.251244:0.325805:0.251244:0.325805:0.234855:0.187911:0.234855:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 asociativa:@0.187911:0.312858:0.288728:0.312858:0.288728:0.296469:0.187911:0.296469:0.000000:0.000000: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.187911:0.375302:0.310086:0.375302:0.310086:0.358913:0.187911:0.358913:0.000000:0.000000:0.000000: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.187911:0.437331:0.312203:0.437331:0.312203:0.420942:0.187911:0.420942:0.000000:0.000000:0.000000:0.000000: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.363231:0.537919:0.372500:0.537919:0.372500:0.521557:0.363231:0.521557:0.000000 ¬ ∨:@0.363231:0.561015:0.400566:0.561015:0.400566:0.545442:0.363231:0.545442:0.000000:0.000000:0.000000 p:@0.376370:0.560338:0.385639:0.560338:0.385639:0.543976:0.376370:0.543976:0.000000 :@0.385639:0.560338:0.389454:0.560338:0.389454:0.543437:0.385639:0.543437:0.000000 :@0.400566:0.560338:0.404601:0.560338:0.404601:0.543949:0.400566:0.543949:0.000000 q:@0.404601:0.560338:0.413870:0.560338:0.413870:0.543976:0.404601:0.543976:0.000000 p:@0.363231:0.582756:0.372500:0.582756:0.372500:0.566395:0.363231:0.566395:0.000000 :@0.372500:0.582756:0.376315:0.582756:0.376315:0.565856:0.372500:0.565856:0.000000 ∧ ¬:@0.376315:0.583434:0.404601:0.583434:0.404601:0.567861:0.376315:0.567861:0.000000:0.000000:0.000000 :@0.387427:0.582756:0.391462:0.582756:0.391462:0.566368:0.387427:0.566368:0.000000 q:@0.404601:0.582756:0.413870:0.582756:0.413870:0.566395:0.404601:0.566395:0.000000 p:@0.363231:0.605175:0.372500:0.605175:0.372500:0.588814:0.363231:0.588814:0.000000 :@0.372500:0.605175:0.376315:0.605175:0.376315:0.588275:0.372500:0.588275:0.000000 ∨:@0.376315:0.605853:0.387427:0.605853:0.387427:0.590280:0.376315:0.590280:0.000000 :@0.387427:0.605175:0.391462:0.605175:0.391462:0.588787:0.387427:0.588787:0.000000 q:@0.391462:0.605175:0.400732:0.605175:0.400732:0.588814:0.391462:0.588814:0.000000 V:@0.363231:0.627594:0.372353:0.627594:0.372353:0.611233:0.363231:0.611233:0.000000 p:@0.363231:0.650013:0.372500:0.650013:0.372500:0.633652:0.363231:0.633652:0.000000 F:@0.363231:0.672432:0.371284:0.672432:0.371284:0.656071:0.363231:0.656071:0.000000 p:@0.363231:0.694851:0.372500:0.694851:0.372500:0.678490:0.363231:0.678490:0.000000 V:@0.363231:0.717270:0.372353:0.717270:0.372353:0.700909:0.363231:0.700909:0.000000 F:@0.363231:0.739689:0.371284:0.739689:0.371284:0.723328:0.363231:0.723328:0.000000 V:@0.363231:0.762108:0.372353:0.762108:0.372353:0.745747:0.363231:0.745747:0.000000 F:@0.363231:0.784527:0.371284:0.784527:0.371284:0.768166:0.363231:0.768166:0.000000 p:@0.363231:0.806946:0.372500:0.806946:0.372500:0.790585:0.363231:0.790585:0.000000 :@0.372500:0.806946:0.376315:0.806946:0.376315:0.790045:0.372500:0.790045:0.000000 ∧ (¬ ∨ ):@0.376315:0.807624:0.450615:0.807624:0.450615:0.792051:0.376315:0.792051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.387427:0.806946:0.391462:0.806946:0.391462:0.790557:0.387427:0.790557:0.000000 q:@0.410738:0.806946:0.420007:0.806946:0.420007:0.790585:0.410738:0.790585:0.000000 :@0.420007:0.806946:0.439190:0.806946:0.439190:0.790557:0.420007:0.790557:0.000000:0.000000:0.000000 r:@0.439190:0.806946:0.444479:0.806946:0.444479:0.790585:0.439190:0.790585:0.000000 ¬:@0.363231:0.830042:0.376370:0.830042:0.376370:0.814470:0.363231:0.814470:0.000000 p:@0.376370:0.829365:0.385639:0.829365:0.385639:0.813004:0.376370:0.813004:0.000000 p:@0.363231:0.851784:0.372500:0.851784:0.372500:0.835422:0.363231:0.835422:0.000000 r:@0.363231:0.874203:0.368520:0.874203:0.368520:0.857841:0.363231:0.857841:0.000000 :@0.368520:0.874203:0.372335:0.874203:0.372335:0.857302:0.368520:0.857302:0.000000 ∨ ( ∧ ):@0.372335:0.874880:0.437476:0.874880:0.437476:0.859307:0.372335:0.859307:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.383446:0.874203:0.422071:0.874203:0.422071:0.857814:0.383446:0.857814:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.393619:0.874203:0.402888:0.874203:0.402888:0.857841:0.393619:0.857841:0.000000 q:@0.422071:0.874203:0.431340:0.874203:0.431340:0.857841:0.422071:0.857841:0.000000 p:@0.363231:0.896622:0.372500:0.896622:0.372500:0.880260:0.363231:0.880260:0.000000 ¬ ∨ ( ∧ ):@0.363231:0.919718:0.450836:0.919718:0.450836:0.904145:0.363231:0.904145:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 r:@0.376370:0.919041:0.381659:0.919041:0.381659:0.902679:0.376370:0.902679:0.000000 :@0.381659:0.919041:0.435431:0.919041:0.435431:0.902652:0.381659:0.902652:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.406979:0.919041:0.416248:0.919041:0.416248:0.902679:0.406979:0.902679:0.000000 q:@0.435431:0.919041:0.444700:0.919041:0.444700:0.902679:0.435431:0.902679:0.000000 F:@0.589394:0.621938:0.597447:0.621938:0.597447:0.605577:0.589394:0.605577:0.000000 V:@0.589394:0.862156:0.598515:0.862156:0.598515:0.845795:0.589394:0.845795:0.000000 p:@0.589394:0.742787:0.598663:0.742787:0.598663:0.726426:0.589394:0.726426:0.000000 :@0.598663:0.742787:0.602477:0.742787:0.602477:0.725886:0.598663:0.725886:0.000000 ∧:@0.602477:0.743465:0.613589:0.743465:0.613589:0.727892:0.602477:0.727892:0.000000 :@0.613589:0.742787:0.617625:0.742787:0.617625:0.726398:0.613589:0.726398:0.000000 q:@0.617625:0.742787:0.626894:0.742787:0.626894:0.726426:0.617625:0.726426:0.000000 p:@0.760236:0.101144:0.769505:0.101144:0.769505:0.084782:0.760236:0.084782:0.000000 ¬:@0.760236:0.124240:0.773375:0.124240:0.773375:0.108667:0.760236:0.108667:0.000000 r:@0.773375:0.123563:0.778664:0.123563:0.778664:0.107201:0.773375:0.107201:0.000000 r:@0.760236:0.145981:0.765525:0.145981:0.765525:0.129620:0.760236:0.129620:0.000000 :@0.765525:0.145981:0.769340:0.145981:0.769340:0.129081:0.765525:0.129081:0.000000 ∨ ( ∧ ∧ ):@0.769340:0.146659:0.860188:0.146659:0.860188:0.131086:0.769340:0.131086:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.780451:0.145981:0.819076:0.145981:0.819076:0.129593:0.780451:0.129593:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.790624:0.145981:0.799893:0.145981:0.799893:0.129620:0.790624:0.129620:0.000000 q z:@0.819076:0.145981:0.854051:0.145981:0.854051:0.129620:0.819076:0.129620:0.000000:0.000000:0.000000:0.000000 :@0.842774:0.145981:0.846809:0.145981:0.846809:0.129593:0.842774:0.129593:0.000000 r:@0.760236:0.168400:0.765525:0.168400:0.765525:0.152039:0.760236:0.152039:0.000000 :@0.765525:0.168400:0.769340:0.168400:0.769340:0.151500:0.765525:0.151500:0.000000 ∧ ( ∨ ∨ ):@0.769340:0.169078:0.860188:0.169078:0.860188:0.153505:0.769340:0.153505:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.780451:0.168400:0.819076:0.168400:0.819076:0.152011:0.780451:0.152011:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.790624:0.168400:0.799893:0.168400:0.799893:0.152039:0.790624:0.152039:0.000000 q z:@0.819076:0.168400:0.854051:0.168400:0.854051:0.152039:0.819076:0.152039:0.000000:0.000000:0.000000:0.000000 :@0.842774:0.168400:0.846809:0.168400:0.846809:0.152011:0.842774:0.152011:0.000000 p:@0.760236:0.190819:0.769505:0.190819:0.769505:0.174458:0.760236:0.174458:0.000000 p:@0.760236:0.213238:0.769505:0.213238:0.769505:0.196877:0.760236:0.196877:0.000000 V:@0.760236:0.235657:0.769358:0.235657:0.769358:0.219296:0.760236:0.219296:0.000000 V:@0.760236:0.258076:0.769358:0.258076:0.769358:0.241715:0.760236:0.241715:0.000000 ∧:@0.727325:0.335498:0.738436:0.335498:0.738436:0.319925:0.727325:0.319925:0.000000 ∧:@0.638411:0.363560:0.649523:0.363560:0.649523:0.347987:0.638411:0.347987:0.000000 ∨:@0.618362:0.454079:0.629474:0.454079:0.629474:0.438506:0.618362:0.438506:0.000000 ∨:@0.734511:0.483745:0.745623:0.483745:0.745623:0.468172:0.734511:0.468172:0.000000 ∨:@0.598423:0.513328:0.609535:0.513328:0.609535:0.497755:0.598423:0.497755:0.000000 V:@0.628423:0.395356:0.637545:0.395356:0.637545:0.378995:0.628423:0.378995:0.000000 q:@0.631704:0.425478:0.640973:0.425478:0.640973:0.409117:0.631704:0.409117:0.000000