formulas logicas equivalentes

  Las fórmulas booleanas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atómicos. Diremos que las dos hipótesis P y Q son lógicamente iguales si se trata de una deducción, es decir, si las tablas de verdad de P y Q son iguales.