← ریاضی

جدول درستی و ارزیاب منطق (DNF/CNF، SOP ساده‌شده)

عبارت‌های بولی را تحلیل کنید، جدول درستی کامل و DNF/CNF استاندارد را ببینید و ساده‌سازی کارنو یا کواین–مک‌کلاسکی را کنار هم بررسی کنید. خروجی CSV و لینک قابل اشتراک هم دارید.

زبان‌های دیگر ja | en | zh-CN | zh-TW | zh-HK | es | es-419 | es-MX | pt-BR | pt-PT | id | vi | ko | fr | de | it | ru-RU | hi-IN | ar | bn-BD | th-TH | fil-PH | fa-IR | nl-NL | he-IL | cs-CZ
گزینه‌های نمایش

عملگرها: ! ~ (NOT)، & ∧ (AND)، ^ (XOR)، | ∨ (OR)، ->، <->، ثابت‌ها: 0 1 T F. حروف بزرگ/کوچک تفاوتی ندارد و متغیرها به ترتیب الفبا مرتب می‌شوند.

خلاصه نتیجه

FAQ

چه عملگرهایی را می‌توانم استفاده کنم؟

برای NOT از ! یا ~، برای AND از & یا ∧، برای XOR از ^، برای OR از | یا ∨، برای دلالت از -> و برای هم‌ارزی از <-> استفاده کنید. ثابت‌ها هم 0، 1، T، F هستند.

ساده‌سازی بین کارنو و کواین–مک‌کلاسکی چطور انتخاب می‌شود؟

تا ۴ متغیر، گروه‌بندی مانند نقشه کارنو انجام می‌شود. برای ۵ یا ۶ متغیر، روش کواین–مک‌کلاسکی با انتخاب پتریک استفاده می‌شود. بیشتر از ۶ متغیر، به DNF استاندارد برمی‌گردد.

ماشین‌حساب‌های مرتبط