eXpimal - Logic calculator

کاربردی ترین ماشین حساب منطق ریاضی.

این اپلیکیشن دارای عملکردهای زیر است:

- ایجاد جداول حقیقت؛

- یافتن DNF، CNF، PDNF و PCNF؛

- یافتن چند جمله ای ژگالکین (روش ضرایب نامشخص و روش مثلث پاسکال).

- ساخت نقشه کارناو.

- به حداقل رساندن تابع بولی با تبدیل هم ارزی (هم به طور خلاصه و هم با جزئیات).

- متعلق به کلاس های پست؛

- ترسیم طرح های منطقی (هر دو طرح IEC و ANSI)؛

- رسم نمودار نردبان.

- به حداقل رساندن توابع با استفاده از روش مک کلاسکی.

توابع بولی ممکن است به صورت چند کاراکتر نمایش داده شوند.

عملیات Unary "ngation" ممکن است به صورت یک کاراکتر یا به صورت یک خط روی هم نمایش داده شود.

حداکثر تعداد متغیرها در تابع با 6 محدود شده است.

حداکثر تعداد نفی های تعبیه شده در تابع با 5 محدود شده است.

حداکثر تعداد کاراکترها در تابع با 64 محدود است.

نقشه‌های کارنا، توابع PCNF و PDNF، چند جمله‌ای Zhegalkin، روش مک‌کلاسکی و کلاس‌های Post فقط می‌توانند برای عملکرد بردار مقدار استفاده شوند.

مدول بردار باید شامل 4، 8، 16، 32 یا 64 کاراکتر باشد.

مقادیر 0 و 1 ممکن است در این تابع استفاده شود اما فقط مشمول ساده سازی خواهد بود.

دلالت برای ترسیم یک طرح منطقی غیر قابل قبول است.

هیچ تبلیغاتی ظاهر نمی شود.

این نرم افزار عملیات قابل درک و بدون دردسر را نشان می دهد. همه نتایج با جزئیات همراه با نظرات نشان داده شده است.