truth table assignment completed