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.