Which expression is logically equivalent to neg(P23lorQ23)\\neg(P_{23} \\lor Q_{23})neg(P23lorQ23)?
negP23impliesQ23\\neg P_{23} \\implies Q_{23}negP23impliesQ23
P23landQ23P_{23} \\land Q_{23}P23landQ23
negP23landnegQ23\\neg P_{23} \\land \\neg Q_{23}negP23landnegQ23
negP23lornegQ23\\neg P_{23} \\lor \\neg Q_{23}negP23lornegQ23