142:@0.067867:0.963104:0.109245:0.963104:0.109245:0.941283:0.067867:0.941283:0.000000:0.000000:0.000000
Matemática:@0.120102:0.956142:0.204868:0.956142:0.204868:0.943479:0.120102:0.943479:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
10.º EGB:@0.120102:0.967458:0.179272:0.967458:0.179272:0.954794:0.120102:0.954794:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Evaluación formativa:@0.078551:0.090484:0.378106:0.090484:0.378106:0.064352:0.078551:0.064352:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
DUA:@0.769036:0.079446:0.812680:0.079446:0.812680:0.059195:0.769036:0.059195:0.000000:0.000000:0.000000
Acción y expresión:@0.716439:0.093905:0.865277:0.093905:0.865277:0.077005:0.716439:0.077005:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1. Expresa:@0.072616:0.148520:0.163427:0.148520:0.163427:0.131619:0.072616:0.131619:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.086842:0.148520:0.090877:0.148520:0.090877:0.132131:0.086842:0.132131:0.000000
 simbólicamente las siguientes proposicio­:@0.163427:0.148520:0.473877:0.148520:0.473877:0.132131:0.163427:0.132131:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
nes compuestas. Sugerencia: :@0.101105:0.165116:0.323670:0.165116:0.323670:0.148727:0.101105:0.148727:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
simboliza:@0.327153:0.165116:0.403462:0.165116:0.403462:0.148216:0.327153:0.148216:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 primera­:@0.403462:0.165116:0.473890:0.165116:0.473890:0.148727:0.403462:0.148727:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
mente las proposiciones simples y luego relacióna­:@0.101105:0.181713:0.473914:0.181713:0.473914:0.165324:0.101105:0.165324:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 con el operador lógico.:@0.101105:0.198309:0.293451:0.198309:0.293451:0.181920:0.101105:0.181920:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101105:0.225596:0.119827:0.225596:0.119827:0.208696:0.101105:0.208696:0.000000:0.000000:0.000000
No es el  caso que estudies  licenciatura  y :@0.129594:0.225596:0.477941:0.225596:0.477941:0.209207:0.129594:0.209207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.473877:0.225596:0.477913:0.225596:0.477913:0.209207:0.473877:0.209207:0.000000
arquitectura. :@0.129594:0.242193:0.226282:0.242193:0.226282:0.225804:0.129594:0.225804:0.000000:0.000000: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.101108:0.327135:0.121139:0.327135:0.121139:0.310234:0.101108:0.310234:0.000000:0.000000:0.000000
Samsung es una marca de celulares o es una :@0.129597:0.327135:0.477916:0.327135:0.477916:0.310746:0.129597:0.310746:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
marca de televisores. :@0.129597:0.343731:0.286285:0.343731:0.286285:0.327342:0.129597:0.327342:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101108:0.428673:0.118743:0.428673:0.118743:0.411772:0.101108:0.411772:0.000000:0.000000:0.000000
Si Óscar realiza una recarga electrónica, en­:@0.129597:0.428673:0.473845:0.428673:0.473845:0.412284:0.129597:0.412284:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
tonces, podrá realizar llamadas. :@0.129597:0.445269:0.378409:0.445269:0.378409:0.428880:0.129597:0.428880:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
2.   Niega:@0.072616:0.533775:0.147819:0.533775:0.147819:0.516874:0.072616:0.516874:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 verbalmente cada afirmación.:@0.147819:0.533775:0.369758:0.533775:0.369758:0.517386:0.147819:0.517386:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101105:0.561062:0.119827:0.561062:0.119827:0.544161:0.101105:0.544161:0.000000:0.000000:0.000000
No es cierto que –5 es mayor que –3.:@0.129594:0.561062:0.400974:0.561062:0.400974:0.544673:0.129594:0.544673:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.101105:0.584781:0.105140:0.584781:0.105140:0.568392:0.101105:0.568392:0.000000
_____________________________________________:@0.129601:0.584473:0.468200:0.584473:0.468200:0.569574:0.129601:0.569574:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101108:0.612075:0.121139:0.612075:0.121139:0.595175:0.101108:0.595175:0.000000:0.000000:0.000000
Postulé a una maestría en Ciencias.:@0.129597:0.612075:0.384982:0.612075:0.384982:0.595687:0.129597:0.595687:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.101108:0.635794:0.105143:0.635794:0.105143:0.619406:0.101108:0.619406:0.000000
_____________________________________________:@0.129601:0.635485:0.468200:0.635485:0.468200:0.620586:0.129601:0.620586:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101108:0.663088:0.118743:0.663088:0.118743:0.646187:0.101108:0.646187:0.000000:0.000000:0.000000
No es cierto que 4 sea un número primo.:@0.129597:0.663088:0.429188:0.663088:0.429188:0.646699:0.129597:0.646699:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.101108:0.686807:0.105143:0.686807:0.105143:0.670418:0.101108:0.670418:0.000000
_____________________________________________:@0.129601:0.686498:0.468200:0.686498:0.468200:0.671599:0.129601:0.671599:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101108:0.714100:0.133411:0.714100:0.133411:0.697200:0.101108:0.697200:0.000000:0.000000:0.000000:0.000000:0.000000
Yahoo es un buscador de información.:@0.133411:0.714100:0.414853:0.714100:0.414853:0.697712:0.133411:0.697712:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.101108:0.737819:0.105143:0.737819:0.105143:0.721431:0.101108:0.721431:0.000000
_____________________________________________:@0.129601:0.737511:0.468200:0.737511:0.468200:0.722612:0.129601:0.722612:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
3.  Encuentra:@0.072616:0.768677:0.182074:0.768677:0.182074:0.751777:0.072616:0.751777:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 los valores de verdad correspondientes :@0.182074:0.768677:0.477928:0.768677:0.477928:0.752288:0.182074:0.752288:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
para que se cumpla el valor indicado.:@0.101105:0.785274:0.373296:0.785274:0.373296:0.768885:0.101105:0.768885:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.101105:0.812561:0.119827:0.812561:0.119827:0.795660:0.101105:0.795660:0.000000:0.000000:0.000000
p:@0.129594:0.812561:0.138863:0.812561:0.138863:0.797168:0.129594:0.797168:0.000000
     :@0.138863:0.812561:0.166117:0.812561:0.166117:0.796172:0.138863:0.796172:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.146934:0.812146:0.158046:0.812146:0.158046:0.795204:0.146934:0.795204:0.000000
q:@0.166117:0.812561:0.175387:0.812561:0.175387:0.797168:0.166117:0.797168:0.000000
 :@0.175387:0.812561:0.179422:0.812561:0.179422:0.796172:0.175387:0.796172:0.000000
V:@0.251808:0.812453:0.260335:0.812453:0.260335:0.797554:0.251808:0.797554:0.000000
          :@0.292106:0.812562:0.344366:0.812562:0.344366:0.795662:0.292106:0.795662:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
b) :@0.101103:0.843418:0.121134:0.843418:0.121134:0.826517:0.101103:0.826517:0.000000:0.000000:0.000000
~      ~  :@0.129592:0.843418:0.206405:0.843415:0.206405:0.827026:0.129592:0.827029:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.140575:0.843418:0.149844:0.843418:0.149844:0.828024:0.140575:0.828024:0.000000
q:@0.193101:0.843415:0.202370:0.843415:0.202370:0.828022:0.193101:0.828022:0.000000
 :@0.252403:0.844197:0.256071:0.844197:0.256071:0.829298:0.252403:0.829298:0.000000
F:@0.275940:0.844197:0.283679:0.844197:0.283679:0.829298:0.275940:0.829298:0.000000
 :@0.339592:0.843415:0.343407:0.843415:0.343407:0.826514:0.339592:0.826514:0.000000
        :@0.374162:0.843415:0.404678:0.843415:0.404678:0.826514:0.374162:0.826514:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
c) :@0.101120:0.874271:0.118755:0.874271:0.118755:0.857370:0.101120:0.857370:0.000000:0.000000:0.000000
p:@0.129609:0.874271:0.138878:0.874271:0.138878:0.858877:0.129609:0.858877:0.000000
       :@0.138878:0.874271:0.184440:0.874267:0.184440:0.857878:0.138878:0.857882:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.171135:0.874267:0.180404:0.874267:0.180404:0.858874:0.171135:0.858874:0.000000
V:@0.251808:0.875940:0.260335:0.875940:0.260335:0.861041:0.251808:0.861041:0.000000
 :@0.292106:0.874267:0.296141:0.874267:0.296141:0.857878:0.292106:0.857878:0.000000
d) :@0.101103:0.905122:0.121171:0.905122:0.121171:0.888222:0.101103:0.888222:0.000000:0.000000:0.000000
p:@0.129592:0.905122:0.138861:0.905122:0.138861:0.889729:0.129592:0.889729:0.000000
       :@0.138861:0.905122:0.184423:0.905120:0.184423:0.888731:0.138861:0.888733:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.171118:0.905120:0.180387:0.905120:0.180387:0.889727:0.171118:0.889727:0.000000
V:@0.251808:0.906792:0.260335:0.906792:0.260335:0.891893:0.251808:0.891893:0.000000
4.  Realiza:@0.502373:0.148520:0.587378:0.148520:0.587378:0.131619:0.502373:0.131619:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la tabla de verdad de las siguientes fórmulas :@0.587378:0.148520:0.907667:0.148520:0.907667:0.132131:0.587378:0.132131:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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. :@0.530863:0.165116:0.588799:0.165116:0.588799:0.148727:0.530863:0.148727:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a) :@0.530863:0.193662:0.549585:0.193662:0.549585:0.176761:0.530863:0.176761:0.000000:0.000000:0.000000
p:@0.566022:0.194036:0.575908:0.194036:0.575908:0.177620:0.566022:0.177620:0.000000
p:@0.598405:0.194036:0.608290:0.194036:0.608290:0.177620:0.598405:0.177620:0.000000
q:@0.633300:0.194036:0.643186:0.194036:0.643186:0.177620:0.633300:0.177620:0.000000
(:@0.590364:0.197377:0.596908:0.197377:0.596908:0.176118:0.590364:0.176118:0.000000
):@0.643466:0.197377:0.650010:0.197377:0.650010:0.176118:0.643466:0.176118:0.000000
p:@0.688518:0.194036:0.698403:0.194036:0.698403:0.177620:0.688518:0.177620:0.000000
P:@0.584834:0.225815:0.593327:0.225815:0.593327:0.210690:0.584834:0.210690:0.000000
q:@0.638927:0.225815:0.647722:0.225815:0.647722:0.210690:0.638927:0.210690:0.000000
[ p :@0.682768:0.225815:0.702419:0.225815:0.702419:0.210690:0.682768:0.210690:0.000000:0.000000:0.000000:0.000000
(:@0.730144:0.225815:0.735186:0.225815:0.735186:0.210451:0.730144:0.210451:0.000000
p   q:@0.735186:0.225815:0.774494:0.225815:0.774494:0.210690:0.735186:0.210690:0.000000:0.000000:0.000000:0.000000:0.000000
)]:@0.774494:0.225815:0.784579:0.225815:0.784579:0.210451:0.774494:0.210451:0.000000:0.000000
~p:@0.861108:0.225815:0.879887:0.225815:0.879887:0.210690:0.861108:0.210690:0.000000:0.000000
V:@0.584810:0.248233:0.593337:0.248233:0.593337:0.233334:0.584810:0.233334:0.000000
V:@0.639055:0.248233:0.647581:0.248233:0.647581:0.233334:0.639055:0.233334:0.000000
 :@0.692478:0.248233:0.696147:0.248233:0.696147:0.233334:0.692478:0.233334:0.000000
V:@0.584810:0.269607:0.593337:0.269607:0.593337:0.254708:0.584810:0.254708:0.000000
F:@0.639440:0.269607:0.647179:0.269607:0.647179:0.254708:0.639440:0.254708:0.000000
F:@0.585196:0.290981:0.592935:0.290981:0.592935:0.276082:0.585196:0.276082:0.000000
V:@0.639038:0.290981:0.647565:0.290981:0.647565:0.276082:0.639038:0.276082:0.000000
F:@0.585196:0.312355:0.592935:0.312355:0.592935:0.297456:0.585196:0.297456:0.000000
F:@0.639440:0.312355:0.647179:0.312355:0.647179:0.297456:0.639440:0.297456:0.000000
b):@0.530866:0.354302:0.547082:0.354302:0.547082:0.337402:0.530866:0.337402:0.000000:0.000000
 :@0.547082:0.354302:0.551118:0.354302:0.551118:0.337913:0.547082:0.337913:0.000000
p:@0.572573:0.352976:0.582227:0.352976:0.582227:0.336944:0.572573:0.336944:0.000000
q:@0.606650:0.352976:0.616304:0.352976:0.616304:0.336944:0.606650:0.336944:0.000000
(:@0.564721:0.356238:0.571112:0.356238:0.571112:0.335477:0.564721:0.335477:0.000000
) (:@0.616580:0.356238:0.643141:0.356238:0.643141:0.335477:0.616580:0.335477:0.000000:0.000000:0.000000
p:@0.644600:0.352976:0.654254:0.352976:0.654254:0.336944:0.644600:0.336944:0.000000
r:@0.678679:0.352976:0.684187:0.352976:0.684187:0.336944:0.678679:0.336944:0.000000
) (:@0.685826:0.356238:0.718657:0.356238:0.718657:0.335477:0.685826:0.335477:0.000000:0.000000:0.000000
q:@0.719355:0.352976:0.729010:0.352976:0.729010:0.336944:0.719355:0.336944:0.000000
r:@0.766954:0.352976:0.772462:0.352976:0.772462:0.336944:0.766954:0.336944:0.000000
):@0.774106:0.356238:0.780497:0.356238:0.780497:0.335477:0.774106:0.335477:0.000000
P:@0.569638:0.395572:0.578131:0.395572:0.578131:0.380447:0.569638:0.380447:0.000000
q:@0.599423:0.395572:0.608218:0.395572:0.608218:0.380447:0.599423:0.380447:0.000000
r:@0.631069:0.395572:0.636396:0.395572:0.636396:0.380447:0.631069:0.380447:0.000000
[(:@0.658224:0.395572:0.668309:0.395572:0.668309:0.380208:0.658224:0.380208:0.000000:0.000000
p q:@0.668309:0.395572:0.702027:0.395572:0.702027:0.380447:0.668309:0.380447:0.000000:0.000000:0.000000
):@0.702027:0.395572:0.707069:0.395572:0.707069:0.380208:0.702027:0.380208:0.000000
v:@0.727758:0.395572:0.735381:0.395572:0.735381:0.380447:0.727758:0.380447:0.000000
(:@0.753540:0.395572:0.758583:0.395572:0.758583:0.380208:0.753540:0.380208:0.000000
p r:@0.758583:0.395572:0.788479:0.395572:0.788479:0.380447:0.758583:0.380447:0.000000:0.000000:0.000000
)]:@0.788312:0.395572:0.798397:0.395572:0.798397:0.380208:0.788312:0.380208:0.000000:0.000000
q ~r:@0.843260:0.395572:0.883489:0.395572:0.883489:0.380447:0.843260:0.380447:0.000000:0.000000:0.000000:0.000000
V:@0.569616:0.415664:0.578143:0.415664:0.578143:0.400765:0.569616:0.400765:0.000000
V:@0.599569:0.415664:0.608096:0.415664:0.608096:0.400765:0.599569:0.400765:0.000000
V:@0.629489:0.415664:0.638016:0.415664:0.638016:0.400765:0.629489:0.400765:0.000000
 :@0.678992:0.415664:0.682661:0.415664:0.682661:0.400765:0.678992:0.400765:0.000000
V:@0.569633:0.435227:0.578160:0.435227:0.578160:0.420328:0.569633:0.420328:0.000000
V:@0.599586:0.435227:0.608113:0.435227:0.608113:0.420328:0.599586:0.420328:0.000000
F:@0.629891:0.435227:0.637631:0.435227:0.637631:0.420328:0.629891:0.420328:0.000000
V:@0.569633:0.454715:0.578160:0.454715:0.578160:0.439816:0.569633:0.439816:0.000000
F:@0.599971:0.454715:0.607711:0.454715:0.607711:0.439816:0.599971:0.439816:0.000000
V:@0.629489:0.454715:0.638016:0.454715:0.638016:0.439816:0.629489:0.439816:0.000000
V:@0.569633:0.474204:0.578160:0.474204:0.578160:0.459305:0.569633:0.459305:0.000000
F:@0.599971:0.474204:0.607711:0.474204:0.607711:0.459305:0.599971:0.459305:0.000000
F:@0.629891:0.474204:0.637631:0.474204:0.637631:0.459305:0.629891:0.459305:0.000000
F:@0.570035:0.493692:0.577774:0.493692:0.577774:0.478793:0.570035:0.478793:0.000000
V:@0.599586:0.493692:0.608113:0.493692:0.608113:0.478793:0.599586:0.478793:0.000000
V:@0.629506:0.493692:0.638033:0.493692:0.638033:0.478793:0.629506:0.478793:0.000000
F:@0.570035:0.513180:0.577774:0.513180:0.577774:0.498281:0.570035:0.498281:0.000000
V:@0.599586:0.513180:0.608113:0.513180:0.608113:0.498281:0.599586:0.498281:0.000000
F:@0.629891:0.513180:0.637631:0.513180:0.637631:0.498281:0.629891:0.498281:0.000000
F:@0.570035:0.532668:0.577774:0.532668:0.577774:0.517769:0.570035:0.517769:0.000000
F:@0.599988:0.532668:0.607728:0.532668:0.607728:0.517769:0.599988:0.517769:0.000000
V:@0.629506:0.532668:0.638033:0.532668:0.638033:0.517769:0.629506:0.517769:0.000000
F:@0.570035:0.552156:0.577774:0.552156:0.577774:0.537257:0.570035:0.537257:0.000000
F:@0.599988:0.552156:0.607728:0.552156:0.607728:0.537257:0.599988:0.537257:0.000000
F:@0.629908:0.552156:0.637647:0.552156:0.637647:0.537257:0.629908:0.537257:0.000000
c):@0.530866:0.593151:0.544687:0.593151:0.544687:0.576250:0.530866:0.576250:0.000000:0.000000
 :@0.544687:0.593151:0.548722:0.593151:0.548722:0.576762:0.544687:0.576762:0.000000
(:@0.559358:0.592121:0.564526:0.592121:0.564526:0.575539:0.559358:0.575539:0.000000
p q:@0.566560:0.592121:0.600909:0.592121:0.600909:0.575832:0.566560:0.575832:0.000000:0.000000:0.000000
):@0.601572:0.592121:0.606740:0.592121:0.606740:0.575539:0.601572:0.575539:0.000000
p q:@0.661843:0.592121:0.696192:0.592121:0.696192:0.575832:0.661843:0.575832:0.000000:0.000000:0.000000
(:@0.653865:0.595435:0.660359:0.595435:0.660359:0.574342:0.653865:0.574342:0.000000
):@0.696472:0.595435:0.702966:0.595435:0.702966:0.574342:0.696472:0.574342:0.000000
P:@0.581984:0.634316:0.590478:0.634316:0.590478:0.619191:0.581984:0.619191:0.000000
q:@0.629829:0.634316:0.638624:0.634316:0.638624:0.619191:0.629829:0.619191:0.000000
(:@0.668393:0.634316:0.673435:0.634316:0.673435:0.618952:0.668393:0.618952:0.000000
p   q:@0.673435:0.634316:0.704233:0.634316:0.704233:0.619191:0.673435:0.619191:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.704233:0.634316:0.709276:0.634316:0.709276:0.618952:0.704233:0.618952:0.000000
~ p q:@0.820300:0.634316:0.860035:0.634316:0.860035:0.619191:0.820300:0.619191:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.830285:0.634316:0.835327:0.634316:0.835327:0.618952:0.830285:0.618952:0.000000
)]:@0.860035:0.634316:0.870120:0.634316:0.870120:0.618952:0.860035:0.618952:0.000000:0.000000
V:@0.581962:0.655162:0.590489:0.655162:0.590489:0.640263:0.581962:0.640263:0.000000
V:@0.629958:0.655162:0.638485:0.655162:0.638485:0.640263:0.629958:0.640263:0.000000
 :@0.685157:0.655162:0.688826:0.655162:0.688826:0.640263:0.685157:0.640263:0.000000
V:@0.581962:0.676536:0.590489:0.676536:0.590489:0.661637:0.581962:0.661637:0.000000
F:@0.630343:0.676536:0.638083:0.676536:0.638083:0.661637:0.630343:0.661637:0.000000
F:@0.582348:0.697910:0.590087:0.697910:0.590087:0.683011:0.582348:0.683011:0.000000
V:@0.629941:0.697910:0.638468:0.697910:0.638468:0.683011:0.629941:0.683011:0.000000
F:@0.582348:0.719284:0.590087:0.719284:0.590087:0.704385:0.582348:0.704385:0.000000
F:@0.630343:0.719284:0.638083:0.719284:0.638083:0.704385:0.630343:0.704385:0.000000
d):@0.530866:0.754101:0.547119:0.754101:0.547119:0.737201:0.530866:0.737201:0.000000:0.000000
 :@0.547119:0.754101:0.551155:0.754101:0.551155:0.737713:0.547119:0.737713:0.000000
(:@0.559502:0.756605:0.565639:0.756605:0.565639:0.736671:0.559502:0.736671:0.000000
):@0.610344:0.756605:0.616481:0.756605:0.616481:0.736671:0.610344:0.736671:0.000000
(:@0.640289:0.756605:0.646426:0.756605:0.646426:0.736671:0.640289:0.736671:0.000000
):@0.691536:0.756605:0.697673:0.756605:0.697673:0.736671:0.691536:0.736671:0.000000
→:@0.579292:0.754151:0.597480:0.754151:0.597480:0.738578:0.579292:0.738578:0.000000
↔ ¬∨:@0.618764:0.754151:0.680460:0.754151:0.680460:0.738578:0.618764:0.738578:0.000000:0.000000:0.000000:0.000000
p:@0.567056:0.753473:0.576325:0.753473:0.576325:0.738080:0.567056:0.738080:0.000000
q:@0.600816:0.753473:0.610085:0.753473:0.610085:0.738080:0.600816:0.738080:0.000000
pq:@0.658603:0.753473:0.691275:0.753473:0.691275:0.738080:0.658603:0.738080:0.000000:0.000000
P:@0.581984:0.796118:0.590478:0.796118:0.590478:0.780993:0.581984:0.780993:0.000000
q:@0.629829:0.796118:0.638624:0.796118:0.638624:0.780993:0.629829:0.780993:0.000000
(:@0.710911:0.797205:0.716433:0.797205:0.716433:0.779265:0.710911:0.779265:0.000000
):@0.756668:0.797205:0.762191:0.797205:0.762191:0.779265:0.756668:0.779265:0.000000
(:@0.783619:0.797205:0.789141:0.797205:0.789141:0.779265:0.783619:0.779265:0.000000
):@0.829741:0.797205:0.835264:0.797205:0.835264:0.779265:0.829741:0.779265:0.000000
→:@0.728720:0.794997:0.745089:0.794997:0.745089:0.780981:0.728720:0.780981:0.000000
↔ ¬∨:@0.764245:0.794997:0.819771:0.794997:0.819771:0.780981:0.764245:0.780981:0.000000:0.000000:0.000000:0.000000
p:@0.717708:0.794387:0.726050:0.794387:0.726050:0.780533:0.717708:0.780533:0.000000
q:@0.748091:0.794387:0.756433:0.794387:0.756433:0.780533:0.748091:0.780533:0.000000
pq:@0.800118:0.794387:0.829523:0.794387:0.829523:0.780533:0.800118:0.780533:0.000000:0.000000
V:@0.581967:0.817820:0.590494:0.817820:0.590494:0.802921:0.581967:0.802921:0.000000
V:@0.629963:0.817820:0.638490:0.817820:0.638490:0.802921:0.629963:0.802921:0.000000
 :@0.769728:0.817820:0.773397:0.817820:0.773397:0.802921:0.769728:0.802921:0.000000
V:@0.581984:0.838251:0.590511:0.838251:0.590511:0.823352:0.581984:0.823352:0.000000
F:@0.630365:0.838251:0.638105:0.838251:0.638105:0.823352:0.630365:0.823352:0.000000
F:@0.582369:0.857740:0.590109:0.857740:0.590109:0.842841:0.582369:0.842841:0.000000
V:@0.629963:0.857740:0.638490:0.857740:0.638490:0.842841:0.629963:0.842841:0.000000
F:@0.582369:0.877228:0.590109:0.877228:0.590109:0.862329:0.582369:0.862329:0.000000
F:@0.630365:0.877228:0.638105:0.877228:0.638105:0.862329:0.630365:0.862329:0.000000