exploring different truth functions