Move LaTeX to module
Move Truth Table generation to module