লজিক ক্যালকুলেটর

ক্যালকুলেটর সব প্রমিত যৌক্তিক অপারেটর সমর্থন করে: NOT (¬, !), AND (&, ∧), OR (|, ∨), IMPLIES (→, ->) এবং BICONDITIONAL (↔, <->)। এগুলি দিয়ে আপনি জটিল যৌক্তিক রাশিমালা গড়তে পারেন।

লেখার দরকার নেই। প্রতিটি প্রতীকের একটি ASCII রূপ আছে যা ক্যালকুলেটর বোঝে: ∧-এর জন্য &, ∨-এর জন্য |, ¬-এর জন্য ! বা ~, →-এর জন্য -> এবং ↔-এর জন্য <->। ধ্রুবক ⊤ ও ⊥ লেখা যায় true ও false হিসেবে, কিংবা T ও F হিসেবে। প্রতীকগুলিই পছন্দ হলে ইনপুট ঘরের নিচের অপারেটর কীবোর্ড সেগুলি বসিয়ে দেয়।

হ্যাঁ! দুটি রাশিমালাকে '==' দিয়ে আলাদা করে সমতুল্যতা যাচাই সুবিধাটি ব্যবহার করুন, তাতে বোঝা যাবে সেগুলি যৌক্তিকভাবে সমতুল্য কি না। ক্যালকুলেটর দুটির সত্যক সারণি মিলিয়ে সমতুল্যতা নিশ্চিত করে।

হ্যাঁ। কমা দিয়ে আলাদা করে পূর্বকল্পনাগুলি লিখুন, তারপর নিঃসরণ-চিহ্ন, তারপর সিদ্ধান্ত — যেমন 'p, p -> q ⊨ q'। নিঃসরণ-চিহ্নটি |= বা |- হিসেবেও লেখা যায়। ক্যালকুলেটর জানায় সিদ্ধান্তটি অনুসৃত হয় কি না, কোন পূর্বকল্পনাগুলি সত্যিই দরকার, সব পূর্বকল্পনা একসঙ্গে সত্য হতে পারে কি না, এবং যুক্তি ব্যর্থ হলে এমন প্রতি-নমুনা দেখায় যেখানে প্রতিটি পূর্বকল্পনা সত্য অথচ সিদ্ধান্ত মিথ্যা।

পূরণযোগ্য রাশিমালা সেটি, যাকে সত্য-মানের অন্তত একটি বণ্টনে সত্য করা যায়। বৈধ রাশিমালা (পুনরুক্তি) সব সম্ভাব্য বণ্টনেই সত্য। ক্যালকুলেটর আপনার রাশিমালার জন্য দুটি বৈশিষ্ট্যই আপনা-আপনি যাচাই করে।