Application of Logical Laws