โปรแกรมตาม Muhammed Tunde

SOLVE เป็นเครื่องมือที่ทรงพลังเพื่อลดความซับซ้อนของนิพจน์และสมการบูลีนที่ซับซ้อน หลังจากเข้าสู่สมการบูลีนแล้วจะแสดงขั้นตอนการทําให้ง่ายต่างๆ ไปยังผลลัพธ์ที่เสร็จสมบูรณ์ทีละขั้นตอน! รองรับ axioms มาตรฐานทั้งหมด ในบรรดากฎหมายเส