🟢 Atomic evaluation === a function, which assigns a value of truth to a single propositional variable== Notation B0