docardoso logic-toolbox issues - Githubissues

docardoso / logic-toolbox

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Adding minimum documentation and testing

#10 docardoso opened 6 years ago
1
Check why some columns are generated with "-1" and "-2" instead of 1's and 0's

#9 gabe-nasc closed 6 years ago
1
Logic circuit drawing

#8 docardoso opened 6 years ago
1
Karnaugh map definition

#7 docardoso opened 6 years ago
1
Algebraic simplification/minimization

#6 docardoso opened 6 years ago
1
Canonical normal form definition

#5 docardoso opened 6 years ago
5
Truth table generation

#4 docardoso opened 6 years ago
1
Numbering/ordering of sub-formulae according to operator precedence

#3 docardoso opened 6 years ago
0
Partition of a boolean formula into its components/sub-formulae

#2 docardoso opened 6 years ago
1
Random generation of boolean formulae

#1 docardoso opened 6 years ago
2