En álgebra básica somos conscientes de quea⋅(b+c)=a⋅b+a⋅c para todos los números realesa,b, yc. En lógica verificamos un análogo de esta afi...En álgebra básica somos conscientes de quea⋅(b+c)=a⋅b+a⋅c para todos los números realesa,b, yc. En lógica verificamos un análogo de esta afirmación, es decir,p∧(q∨r)⇔(p∧q)∨(p∧r)), dondep,q, and r estaban las proposiciones arbitrarias.
