144:@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
:@0.100339:0.094940:0.191821:0.094940:0.191821:0.068808:0.100339:0.068808:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
DUA:@0.757164:0.083902:0.800807:0.083902:0.800807:0.063651:0.757164:0.063651:0.000000:0.000000:0.000000
Participación:@0.726735:0.098360:0.831238:0.098360:0.831238:0.081459:0.726735:0.081459:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Con ayuda de los botones, introduce la proposición :@0.502378:0.183057:0.907713:0.183057:0.907713:0.166668:0.502378:0.166668:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
compuesta  en  la  barra  en  blanco;  puedes  usar  el :@0.502378:0.199653:0.907680:0.199653:0.907680:0.183264:0.502378:0.183264:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
teclado de la computadora para borrar cualquier :@0.502378:0.216249:0.907639:0.216249:0.907639:0.199861:0.502378:0.199861:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
entrada errónea. :@0.502378:0.232846:0.627076:0.232846:0.627076:0.216457:0.502378:0.216457:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Una vez que hayas terminado de introducir la :@0.502378:0.313020:0.907676:0.313020:0.907676:0.296631:0.502378:0.296631:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposición, elige 1/0 o  T/F (V/F) para las :@0.502378:0.329617:0.907692:0.329617:0.907692:0.313228:0.502378:0.313228:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
combinaciones lógicas. Luego, haz clic en el botón :@0.502378:0.346213:0.907692:0.346213:0.907692:0.329824:0.502378:0.329824:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
“Generar”:@0.502378:0.362809:0.572457:0.362809:0.572457:0.346420:0.502378:0.346420:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Enseguida aparecerá la tabla de verdad de la :@0.502378:0.386528:0.907731:0.386528:0.907731:0.370139:0.502378:0.370139:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposición ingresada.:@0.502378:0.403125:0.668688:0.403125:0.668688:0.386736:0.502378:0.386736:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 ingresar una nueva proposición, debes hacer clic :@0.502378:0.626719:0.907641:0.626719:0.907641:0.610330:0.502378:0.610330:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 ícono del basurero.:@0.502378:0.643316:0.659030:0.643316:0.659030:0.626927:0.502378:0.626927:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Una tabla de verdad es una herramienta utilizada en :@0.072628:0.183057:0.477923:0.183057:0.477923:0.166668:0.072628:0.166668:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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ógica proposicional para mostrar el valor de verdad de :@0.072628:0.199653:0.477870:0.199653:0.477870:0.183264:0.072628:0.183264:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
una  proposición  compuesta  para  cada  combinación :@0.072628:0.216249:0.477930:0.216249:0.477930:0.199861:0.072628:0.199861:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
de  valores  de  verdad  que  se  pueda  asignar  a  las :@0.072628:0.232846:0.477930:0.232846:0.477930:0.216457:0.072628:0.216457:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposiciones simples. :@0.072628:0.249442:0.242879:0.249442:0.242879:0.233053:0.072628:0.233053:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 muestra todas las posibles :@0.072628:0.273161:0.477888:0.273161:0.477888:0.256772:0.072628:0.256772:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
combinaciones de valores de verdad de las :@0.072628:0.289758:0.477888:0.289758:0.477888:0.273369:0.072628:0.273369:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposiciones simples y el valor de verdad resultante :@0.072628:0.306354:0.477886:0.306354:0.477886:0.289965:0.072628:0.289965:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
de la proposición compuesta para cada combinación. :@0.072628:0.322950:0.477888:0.322950:0.477888:0.306561:0.072628:0.306561:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Como viste en esta unidad, las tablas de verdad son :@0.072628:0.339547:0.477980:0.339547:0.477980:0.323158:0.072628:0.323158:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
útiles para demostrar las equivalencias lógicas entre :@0.072628:0.356143:0.477943:0.356143:0.477943:0.339754:0.072628:0.339754:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposiciones y para resolver problemas de lógica :@0.072628:0.372739:0.477940:0.372739:0.477940:0.356351:0.072628:0.356351:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposicional. :@0.072628:0.389336:0.179598:0.389336:0.179598:0.372947:0.072628:0.372947:0.000000:0.000000:0.000000: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 tablas de verdad se pueden generar de forma :@0.072628:0.413055:0.477980:0.413055:0.477980:0.396666:0.072628:0.396666:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
manual:@0.072628:0.429651:0.128021:0.429651:0.128021:0.413262:0.072628:0.413262:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
o:@0.151682:0.429651:0.161486:0.429651:0.161486:0.413262:0.151682:0.413262:0.000000
mediante:@0.185147:0.429651:0.255815:0.429651:0.255815:0.413262:0.185147:0.413262:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
programas:@0.279476:0.429651:0.358696:0.429651:0.358696:0.413262:0.279476:0.413262:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
informáticos:@0.382357:0.429651:0.473906:0.429651:0.473906:0.413262:0.382357:0.413262:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
especializados. En la web puedes encontrar algunos de :@0.072628:0.446248:0.477942:0.446248:0.477942:0.429859:0.072628:0.429859:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
estos  programas  como  el  que  usaremos  en  este :@0.072628:0.462844:0.477929:0.462844:0.477929:0.446455:0.072628:0.446455:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
apartado.:@0.072628:0.479440:0.142208:0.479440:0.142208:0.463051:0.072628:0.463051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Generador de tablas de verdad :@0.072616:0.155803:0.397545:0.155803:0.397545:0.133994:0.072616:0.133994:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
online:@0.397545:0.155803:0.461296:0.155803:0.461296:0.134030:0.397545:0.134030:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ingresa en: :@0.072616:0.504044:0.156038:0.504044:0.156038:0.487656:0.072616:0.487656:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
lynk.ec/10mt21:@0.156038:0.504044:0.269773:0.504044:0.269773:0.487407:0.156038:0.487407:0.000000:0.000000: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 escanea el código adjunto.:@0.072616:0.520641:0.282963:0.520641:0.282963:0.504252:0.072616:0.504252:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Taller:@0.068294:0.719537:0.127350:0.719537:0.127350:0.697728:0.068294:0.697728:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Realiza las tablas de verdad de las siguientes proposiciones y verifica el resultado con el generador de tablas.:@0.072616:0.747738:0.864241:0.747738:0.864241:0.731349:0.072616:0.731349:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1.  :@0.072616:0.779493:0.094471:0.779493:0.094471:0.762592:0.072616:0.762592:0.000000:0.000000:0.000000:0.000000
[(:@0.101105:0.779493:0.110871:0.779493:0.110871:0.763104:0.101105:0.763104:0.000000:0.000000
p q p:@0.110871:0.779493:0.168734:0.779493:0.168734:0.764100:0.110871:0.764100:0.000000:0.000000:0.000000:0.000000:0.000000
∧ ∨:@0.120878:0.779078:0.158728:0.779078:0.158728:0.762136:0.120878:0.762136:0.000000:0.000000:0.000000
):@0.142733:0.779493:0.147616:0.779493:0.147616:0.763104:0.142733:0.763104:0.000000
]:@0.169471:0.779493:0.174355:0.779493:0.174355:0.763104:0.169471:0.763104:0.000000
↔:@0.178409:0.779078:0.197610:0.779078:0.197610:0.762136:0.178409:0.762136:0.000000
p:@0.202401:0.779493:0.211671:0.779493:0.211671:0.764100:0.202401:0.764100:0.000000
2.:@0.502373:0.779495:0.516600:0.779495:0.516600:0.762595:0.502373:0.762595:0.000000:0.000000
 (:@0.516600:0.779495:0.535746:0.779495:0.535746:0.763106:0.516600:0.763106:0.000000:0.000000
∼ ∨  ↔  → :@0.535746:0.779080:0.656428:0.779080:0.656428:0.762138:0.535746:0.762138:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p  q:@0.545863:0.779495:0.583437:0.779495:0.583437:0.764102:0.545863:0.764102:0.000000:0.000000:0.000000:0.000000
) :@0.583437:0.779495:0.592356:0.779495:0.592356:0.763106:0.583437:0.763106:0.000000:0.000000
(:@0.616164:0.779495:0.621047:0.779495:0.621047:0.763106:0.616164:0.763106:0.000000
p :@0.621047:0.779495:0.633633:0.779495:0.633633:0.764102:0.621047:0.764102:0.000000:0.000000
q:@0.656428:0.779495:0.665698:0.779495:0.665698:0.764102:0.656428:0.764102:0.000000
):@0.665698:0.779495:0.670581:0.779495:0.670581:0.763106:0.665698:0.763106:0.000000