Description: 1. The calculator can be used in discrete mathematics mathematical logic and is purely tools, and they spread by java language, can extract operation, in accordance with the needs of java environment. Go here to download operating environment : http :// www.skycn.com/soft/3116.html 2. The calculator can or count the value of the expression logic, truth table corresponding to the main disjunctive, with the main SAT. 3. Importation of expression can be imported in the expression column, also available in the corresponding button input variables can only be PQRST. As conjunction equivalence can not be identified, and so synonymous substitution, this is a helpless choice. 4. Please choose before calculating variable number (default 3 million) as well as variable assignment. Arguments for the
File list (Check if you may need any files):
Download