tony's website
options
syntax
type in a query to make a truth table (use any letter for variables)
q∧s