โปรแกรมตาม plman.sf.net

  • PLMan - Propositional Logic Parser ฟรี

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