select
t1.city_name
from
(
select
'全国' as city_name
from
stg.t_vip
union all
select
cc.city_name
from
stg.t_city_config cc
join
stg.t_vip v
on
v.city_id =
我正在做一个练习,在这里我需要展示一下KB |= ~D。
我知道知识库是:
- (B v ¬C) => ¬A
- (¬A v D) => B
- A ∧ C
在转换为全国保卫部队之后:
A ∧ C ∧ (¬A v ¬B) ∧ (¬A v C) ∧ (A v B) ∧ (B v ¬D)
所以现在我已经转换为CNF,但从那里,我不知道如何进一步。会很感激你的帮助。谢谢!
我正在为一个项目做一个maven-site,我想让它国际化。好消息是由Maven站点插件和Project Info Reports插件完成的站点生成已经完全国际化。Maven site插件使用来自pom的project.description标记来填充索引页面,我想知道是否有一个“好”的方法来国际化这个标记。
谢谢!