โปรแกรมตาม plman.sf.net
-
PLMan - Propositional Logic Parser ฟรี
PLMan เป็นตัวแยกวิเคราะห์ / เครื่องคิดเลขประโยคตรรกะข้อเสนอที่มีตัวแปรความสามารถในการจัดการที่ดําเนินการใน Java ซึ่งหมายความว่าจะทํางานในทุก JVMสภาพแวดล้อมที่ติดตั้ง (Unix, Linux, Windows ฯลฯ )