سلام
من از biditexmaker استفاده می‌کنم و به دنبال علائمی مثل «و» منطقی، «یا» منطقی، علامت «وجود دارد» و سایر علائم منطقی دیگر هستم. از نرم‌افزار math type استفاده کردم ولی نمی‌توانم فرمول‌هایم را از آن به بیدی‌تک میکر انتقال دهم.
\documentclass{article}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage[dvips]{graphicx}
\begin{document}
\[\begin{array}{l} {[p\to (q\to r)]\Leftrightarrow [(p\wedge q)\to r]} \\ {\neg p\vee (q\to r)\Leftrightarrow } \\ {[\neg p(\neg q\vee r)]\Leftrightarrow } \\ {(\neg p\vee \neg q)\vee r\Leftrightarrow } \\ {\neg (p\wedge q)\vee r\Leftrightarrow } \\ {(p\wedge q)\to r} \end{array}\]
\end{document}
مثلا در عکس ضمیمه شده فرمول‌های نوشته شده را چطور کدنویسی کنم.
