Module: Systems of logical equations