|
|
برای اجرای الگوریتم ساخت درخت پیکربندی فرمول در منطق گزاره‌ای، که شرح آن در قسمت شناسایی درخت فراکافت (Parse tree) و در یادداشت نگارش صورت و الگوریتم آن در منطق آمده است، فرمول ورودی مورد نظر را وارد کرده و سپس دکمه «اجرای ساخت و تحیل» را کلیک کنید.
این اجرا (و پیاده‌سازی) فرض می‌کند که فرمول ورودی از نظر نگارشی (syntactically) صحیح است.
N/A
N/A
N/A
