truth table is now handled as relation (except the printing)