Besonderhede van voorbeeld: 9015437396736145143

English

If a truth assignment satisfies formula fr , then it satisfies all clauses of ψr .

French

Si une instanciation satisfait la formule fr , alors elle satisfait toutes les clauses de ψr .