การแสดงออกโปรแกรมลอจิก (LE) คำนวณและวิเคราะห์ตรรกะ (บูลีน) การแสดงออก รองรับผู้ประกอบการตรรกะ: ปฏิเสธร่วม, หย่า, ร้าวฉานพิเศษความหมายและความเท่าเทียมกัน รองรับการทำงานกับ: สูงสุด 500 (ห้าร้อย) สมาชิกในการแสดงออกถึง 338 (338) ตัวแปรและ n ระดับของวงเล็บ...