how to validate the database by using logical formula?what is the sql query?

lets assume that i have database contain of one table "table1" contain of two columns col1 and col2 and i have this logical formula ¬∃a1 ∃a2 (¬table1(a1,c1)∨¬table1(a2,c2)∨ c1=c2) how to check if this formula can be satisfied by tables values? what is the SQL query?