truth table assignment revised