看護師長または副看護師長が少なくとも1名とすればよいです。
AならばB
----------------------
A B C
0 0 1
0 1 1
1 0 0
1 1 1
題意からは、AならばBです。これは、Implication ~A|B となります。 A=看護師長不在なので、 a |B (a=~A ) aは在籍、となります。
「または」は、OR オペレータですが、数理的には、「少なくとも1個」 に等しいです。よって少なくとも1人を実装すればよい、ということになります。
aまたはB
----------------------
看護師長 副看護師長
x 1
1 x
0 件のコメント:
コメントを投稿