r**c
发帖数: 30 | 1 这种逻辑优化 属于哪个数学科目？ 谢谢
(Country = USA and Race = Asian and Sex = Male) or (Race = Asian and Country
= Japan and Sex = Female)
==> (Race = Asian) and (((Country = USA) and (Sex = Male)) or ((Country =
Japan) and (Sex = Female)))
(Country = USA and Race = Asian and Sex = Male) or (Race = Asian and Country
= Japan and Sex = Male)
==> (Race = Asian) and (Sex = Male) and (Country = USA, Japan) | l******r
发帖数: 18699 | 2 数理逻辑
model theory
Country
Country
【在 r**c 的大作中提到】
: 这种逻辑优化 属于哪个数学科目？ 谢谢
: (Country = USA and Race = Asian and Sex = Male) or (Race = Asian and Country
: = Japan and Sex = Female)
: ==> (Race = Asian) and (((Country = USA) and (Sex = Male)) or ((Country =
: Japan) and (Sex = Female)))
: (Country = USA and Race = Asian and Sex = Male) or (Race = Asian and Country
: = Japan and Sex = Male)
: ==> (Race = Asian) and (Sex = Male) and (Country = USA, Japan)
|
|
