عبارت زیر را به صورت یک عبارت منطقی فرموله کنید و مقدار صحت آن را ارائه دهید:
حداقل یکی از A، B و C درست است
عبارت "حداقل یکی از A، B و C درست است" را می‌توان به صورت یک عبارت منطقی با استفاده از عملگر OR به این صورت نمایش داد:
```
A ∨ B ∨ C
```
مقدار صحت این عبارت به مقادیر گزاره‌های فردی A، B و C بستگی دارد. در این مورد، عبارت زمانی درست خواهد بود که حداقل یکی از متغیرهای گزاره‌ای (A، B یا C) درست باشد، در غیر این صورت نادرست خواهد بود.