Description: logic expression from the terminal input, not longer than his. Logical Operators including "|","&" and "~", or said, and non- computational priority increase but change is in brackets, brackets computing priority. Logic variable element for capital letters. Anywhere expressions can contain multiple address spaces. If tautology or contradiction. it only shows that "Forever True" or "False Forever" it shows that the "Satisfactible" and the sequence of the variable name, and user interaction. If users of expression variables from a set of values, the procedures calculated logic and show the value of the expression.
File list (Check if you may need any files):