The liveness criterion is that no p

The liveness criterion is that no philosopher is hungry unless one of his neighbors is eating (a hungry philosopher should start eating unless the safety criterion prevents him). More formally,

ผลลัพธ์ (ไทย) 1:

เกณฑ์ที่ liveness คือว่า นักปรัชญาไม่หิวเว้นแต่หนึ่งในเพื่อนบ้านของเขากิน (อาถรรพ์ที่หิวควรเริ่มกินเว้นแต่เกณฑ์ความปลอดภัยป้องกันเขา) เพิ่มเติมอย่างเป็นทางการ

ผลลัพธ์ (ไทย) 2:

เกณฑ์คงอยู่คือว่าไม่มีนักปรัชญาหิวเว้นแต่หนึ่งของประเทศเพื่อนบ้านของเขาคือการรับประทานอาหาร (ปราชญ์หิวควรเริ่มกินเว้นแต่เกณฑ์ความปลอดภัยป้องกันไม่ให้เขา) เพิ่มเติมอย่างเป็นทางการ