#truth table #logic symbol #biconditional #iff #ecnelaviuqe #logical connective #truth value #table values