Welcome![Sign In][Sign Up]
Location:
Downloads Other resource
Title: 重言式判别问题 Download
 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.
 Downloaders recently: [More information of uploader yinishenning]
 To Search: sat
File list (Check if you may need any files):

CodeBus www.codebus.net