equisatisfiable
tính từ (adjective)
Nghĩa chính
- Trong một cặp công thức, trong đó một công thức thỏa mãn bất cứ khi nào công thức kia thỏa mãn (cả hai công thức đều thỏa mãn hoặc cả hai đều không thỏa mãn)tính từkhông so sánh (not comparable)Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).