(newbie here) I try to analyze amateur cryptosystem and wondering, if it's possible to reduce it as reduce a very long boolean expression? What tool can I try to use?
closed as not a real question by Paŭlo Ebermann♦ May 16 '12 at 22:38
It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, see the FAQ.