אנגלית ⇄ גרמנית +

quantifier-free conjunctive normal form
.בינה	quantorenfreie konjunktive Normalform