প্রোগ্রাম যুক্তিবিজ্ঞান এক্সপ্রেশন (কমিক্স্) হিসাব এবং লজিক্যাল (বুলিয়ান) প্রকাশের বিশ্লেষণ. অস্বীকৃতি, একত্রে, বিশ্লেষ, একচেটিয়া বিশ্লেষ, সংশ্লেষ এবং সমানতা: লজিক্যাল অপারেটর সমর্থন করে. 338 আপ মত প্রকাশের 500 (পাঁচশত) সদস্য, আপ (তিন শত ত্রিশ আট)...

আরও পড়ুন