Java Boolean-algebra Resources