Introduction - If you have any usage issues, please Google them yourself
Implement any truth table, enter the formula to calculate, but it is also a binary adder simulator whenever generates a binary number in the simulator, which is equivalent to each propositional variables to produce a set of true value assigned.