 Conditioned disjunction

In logic, conditioned disjunction (sometimes called conditional disjunction) is a ternary logical connective introduced by Church.Given operands "p", "q", and "r", which represent truth-valued propositions, the meaning of the conditioned disjunction is given by