Simplificar la fórmula siguiente: ara construir un circuito lógico más simple:

[(~q⟶p)∧(∼p⟶r)∧q]⟶∼r

​