Added Logic.hs and LogicExp datatype
Added instance of Show for LogicExp