gem install logic

By default, you get a truth table and a list of MC/DC pairs:

logic '(a or b) and (c or d)'

Gives you:

    a b c d | output
 1) 0 0 0 0 |   0
 2) 0 0 0 1 |   0
 3) 0 0 1 0 |   0
 4) 0 0 1 1 |   0
 5) 0 1 0 0 |   0
 6) 0 1 0 1 |   1
 7) 0 1 1 0 |   1
 8) 0 1 1 1 |   1
 9) 1 0 0 0 |   0
10) 1 0 0 1 |   1
11) 1 0 1 0 |   1
12) 1 0 1 1 |   1
13) 1 1 0 0 |   0
14) 1 1 0 1 |   1
15) 1 1 1 0 |   1
16) 1 1 1 1 |   1

a => [[2, 10], [3, 11], [4, 12]]
b => [[2, 6], [3, 7], [4, 8]]
c => [[5, 7], [9, 11], [13, 15]]
d => [[5, 6], [9, 10], [13, 14]]

Copyright © 2010 Bryan Ash. See LICENSE for details.