Logical Description of Accounting Equation(AE)