Tautology (rule Of Inference) : Soft.lk - A Premium Software Developers - Meet one of the most powerful and intuitive POS systems for retail in Sri Lanka