Escribiríamos “pyq” comop∧q y “poq” comop∨q. A continuación, tenemos que averiguar cuándop∨q es verdad, con base en las dos primeras columnas. p∨qes...Escribiríamos “pyq” comop∧q y “poq” comop∨q. A continuación, tenemos que averiguar cuándop∨q es verdad, con base en las dos primeras columnas. p∨qes cierto sip ORq son verdaderas, o ambas son verdaderas. Primero, haga columnas parap yq, luego agregue∼p y∼q. Primero, haz columnas para p y q, luego agrega∼q yq∨∼q.
