What is the 'dual' of the statement Truelor(PlandFalse)True \\lor (P \\land False)Truelor(PlandFalse)?
0
Falselor(PlandTrue)False \\lor (P \\land True)Falselor(PlandTrue)
Falseland(PlorTrue)False \\land (P \\lor True)Falseland(PlorTrue)
Trueland(negPlorFalse)True \\land (\\neg P \\lor False)Trueland(negPlorFalse)