ช่วยอธิบายที เรื่องตรรกศาสตร์ กฏระเบียบของเมือง Naperville USA

โจทย์ว่า
" มันผิดกฏหมาย เมื่อคนๆนึง มีหมามากกว่า3ตัว และ แมวมากกว่า3ตัว อยู่ในบ้านที่เมืองนี้ "
คำถาม จอห์น รอบบินสัน มีความผิดหรือไม่ ถ้าจอห์นมีหมา5ตัวแต่ไม่มีแมวเลย??


คือตอนนี้เข้าใจว่า จอนห์มีหมาเกิน3ตัว = T
และ จอห์นมีแมว0ตัว = F

T^F = F
แสดงว่า จอห์นไม่ผิดกฏหมาย

เข้าใจแบบนี้ไหมครับ ช่วยอธิบายที