Truth Table for a Combinatorial Kernel of Set Theories