truth dyad operator