| 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) | ||