What is the dual of the conjunction (∧\land∧) operation?
Negation (¬\neg¬)
Disjunction (∨\lor∨)
Implication ( ⟹ \implies⟹)
Biconditional ( ⟺ \iff⟺)