У нас есть троичный предикат Закупки (Поставщик, Компонент, Проект). Кроме того, у нас есть три двоичных предиката:
Supplies_supplies_Component (Поставщик, Компонент) Component_used_in_Project (Компонент, Проект) Supplier_involved_in_Project (Поставщик, Проект).
Для определенного набора Поставщик = S1, Компонент = C1 и Project = P1 (более одного варианта могут быть правильными)
- Если все три двоичных предиката верны, троичный предикат также истинен
- Если троичный предикат равен true, тогда все три двоичных предиката являются истинными
- Если все три двоичных предиката являются истинными, троичный предикат может быть или не быть истинным
- Если троичный предикат является истинным, тогда все три двоичные предикаты могут быть или не быть правдой
Я пришел с этим вопросом в моей программе. Может кто-нибудь помочь мне с этим?