2: 2015-08-26 (水) 22:19:08 osinko | 現: 2015-08-27 (木) 22:45:29 osinko | ||
---|---|---|---|
Line 62: | Line 62: | ||
//ビットマスク | //ビットマスク | ||
mask = Convert.ToInt32 ("11111111", 2); | mask = Convert.ToInt32 ("11111111", 2); | ||
+ | |||
int PconditonalQ = (~p | q) & mask; // p⇒q | int PconditonalQ = (~p | q) & mask; // p⇒q | ||
int PconjunctionPconditonalQ = (p & PconditonalQ) & mask; // p^(p⇒q) | int PconjunctionPconditonalQ = (p & PconditonalQ) & mask; // p^(p⇒q) |