A small project which can generate truth table and Karnaugh map automatically according to the input of Logic Repression