【多选题】
已知“甲不在武汉且乙在广州”与“当且仅当甲在武汉,乙才在广州”均假,下列判断中取值为真的是()和()。
A、甲在武汉且乙在广州
B、甲在武汉但乙不在广州
C、并非“或甲在武汉或乙在广州”
D、只有甲不在武汉,乙才在广州
E、如果甲在武汉,那么乙在广州
A、甲在武汉且乙在广州
B、甲在武汉但乙不在广州
C、并非“或甲在武汉或乙在广州”
D、只有甲不在武汉,乙才在广州
E、如果甲在武汉,那么乙在广州
A、BLP模型主要包括简单安全规则和*-规则 B、*-规则可以简单表述为向下写 C、主体可以读客体,当且仅当主体的安全级可以支配客体的安全级,且主体对该客体具有自主型读权限 D、主体可以写客体,当且仅当客体的安全级可以支配主体的安全级,且主体对客体;具有自主型写权限
A、设有一由个元件组成的系统,记为,这一系统的运行方式是当且仅当n个元件中至少有
个元件正常工作时,系统正常工作。现有
系统,它由相互独立的元件组成,设每个元件的可靠性均为0.9,求这一系统的可靠性。