2: 2015-08-28 (金) 01:49:21 osinko |
現: 2015-08-28 (金) 16:06:01 osinko |
| |0|0|0|0| | | |0|0|0|0| |
| | | |
- | 表の赤色で示した部分が同値であるかが問題としていたところだ。まったく同じ論理値の集合を出力している。これにより同じ意味(セマンティクス)である事が確認できた | + | 表の赤色で示した部分が同値であるかが問題としていたところ。まったく同じ論理値の集合を出力している。これにより同じ意味(セマンティクス)である事が確認できた |
| このような論理的同値は様々な場面で登場する | | このような論理的同値は様々な場面で登場する |
| | | |
- | この論理的同値を表現する表記をここで定義しておく | + | この論理的同値を表現する表記をここで定義する |
| &font(130%,Blue){当サイトでは、ふたつの論理式\(A,B\)が論理的同値である事を「\(A\Leftrightarrow B\)」と表現する}; | | &font(130%,Blue){当サイトでは、ふたつの論理式\(A,B\)が論理的同値である事を「\(A\Leftrightarrow B\)」と表現する}; |
- | この場合、それを構成する原子式\(A,B\)の真理値は同じ真理値を取る。これは論理式でなく、あくまで日本語である。論理式にこんなものは無いので注意! | + | この場合、それを構成する原子式\(A,B\)の真理値は同じ値を取る。これは論理式でない。あくまで日本語としての省略表現であり論理式にこんなものは無いので注意すること |
| #code(csharp){{ | | #code(csharp){{ |
| using UnityEngine; | | using UnityEngine; |
| { | | { |
| //2進数でint値を設定 | | //2進数でint値を設定 |
| + | |
| int t = Convert.ToInt32 ("1100", 2); | | int t = Convert.ToInt32 ("1100", 2); |
| int w = Convert.ToInt32 ("1010", 2); | | int w = Convert.ToInt32 ("1010", 2); |
| + | |
| //ビットマスク | | //ビットマスク |
| int mask = Convert.ToInt32 ("1111", 2); | | int mask = Convert.ToInt32 ("1111", 2); |