Cantor- Bernstein theorem and Truth tables