درباره این برنامه
با استفاده از این برنامه می توانید:- بررسی کنید که آیا دنباله ای از کاراکترها فرمول خوبی است (WFF).
- علامت لهستانی عادی (NPN) - به عنوان مثال ، یک پیشوند علامت - از فرمول های منطقی گزاره را بدست آورید ؛
- علامت گذاری معکوس لهستان (RPN) ، به عنوان مثال ، یک علامت پس از اصلاح - فرمول های منطقی گزاره را بدست آورید.
- زیر فرمول های فرمول منطقی گزاره را بدست آورید ؛
- فرم های انقباضی نرمال (DNF) و فرم نرمال پیوندی (CNF) فرمول های منطق گزاره ای را بدست آورید.
- ایجاد جداول حقیقت برای فرمول های منطقی گزاره ای ؛
- مقادیر حقیقت را به نمادهای گزاره ای اختصاص دهید و تفسیر فرمول های منطقی گزاره را بدست آورید.
علاوه بر این ، شما می توانید ترتیب اولویت های مختلفی برای اتصالات منطقی انتخاب کنید.