Generate corresponding truth table from logical expression