Propositional logic/Zombie/Tautology/Exercise