One-in-three 3SAT

تحويل أو آي تي