biconditional connective

[ریاضیات] ادات ترکیب دو شرطی