Truth tables for inference