Online minimization of Boolean functions Công cụ này giúp làm đơn giản hóa các công thức Boolean-Logic phức tạp đơn giản lại. http://tma.main.jp/logic/index_en.html