Để phát biểu mệnh đề trong dạng điều kiện cần và đủ cho bài toán này, ta có thể viết như sau:

**Mệnh đề:**
Tứ giác \(ABCD\) là tứ giác nội tiếp nếu và chỉ nếu tổng số đo hai góc đối nhau bằng 180 độ.

Biểu thức logic cho mệnh đề này sẽ là:
\[ P \iff Q \]
Trong đó:
- \( P \): "Tứ giác \(ABCD\) là tứ giác nội tiếp."
- \( Q \): "Tổng số đo hai góc đối nhau bằng 180 độ."