Message Boards Message Boards

GROUPS:

Find the combinations of 10 inputs that result in a Boolean Logic (0 or 1)?

Posted 1 year ago
1095 Views
|
1 Reply
|
0 Total Likes
|

I have a complex Boolean logic with, say, 10 inputs and one output. Is there any mathematical method or an algorithm to identify all the possible combinations of the inputs that can result in a specific output (0 or 1)? Note that the logic is known. But we don't want to 'try' or simulate all possible combinations of input and check which ones result in the specific output. We would like to solve the problem backward: know the desired output, know the logic, find out the input combinations that can result in that output.

A simple example with input and desired output would be quite helpful. Taking a guess, maybe something like this is what is wanted.

In[1483]:= SatisfiabilityInstances[a && b == True, {a, b}]

(* Out[1483]= {{True, True}} *)
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract