Elegí una herramienta y marcá en el texto las conectivas (cada una con su color) y las proposiciones (cada una recibe una letra; un segundo clic cambia la letra). Después escribí la forma de cada enunciado.
símbolos
también podés tipear: ~ & v x -> <->