A tool for generating truth tables