6: 2015-08-22 (土) 10:35:40 osinko  |
現: 2015-08-26 (水) 20:59:11 osinko  |
| #contents | | #contents |
| #jsmath | | #jsmath |
| + | **日本語とC#と論理記号 [#y474dce0] |
| + | |
| + | <真理値表> |
| + | |CENTER:|CENTER:|CENTER:|CENTER:|BGCOLOR(#FFDDDD):CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|BGCOLOR(#FFDDDD):CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|BGCOLOR(#FFDDDD):CENTER:|BGCOLOR(#FFDDDD):CENTER:|CENTER:|CENTER:|c |
| + | | | | | |\(A\wedge B\)| | | | |\(A \underline{\vee}B\)|\(A\vee B\)| |\(A\leftrightarrow B\)| | |\(\neg A\)|\(A\rightarrow B\)| | | |
| + | | | | | |かつ| | | | | |または| | | | |でない|ならば| | | |
| + | | | | | |AND| | | | |XOR|OR|NOR| |NOT|IMP|NOT|IMP|NAND| | |
| + | |A|B| |false|A&&B|A&&!B|A|!A&&B|B|A!=B|A||B|!(A||B)|A==B|!B|A||!B|!A|!A||B|!(A&&B)|true| |
| + | |1|1| |0|1|0|1|0|1|0|1|0|1|0|1|0|1|0|1| |
| + | |1|0| |0|0|1|1|0|0|1|1|0|0|1|1|0|0|1|1| |
| + | |0|1| |0|0|0|0|1|1|1|1|0|0|0|0|1|1|1|1| |
| + | |0|0| |0|0|0|0|0|0|0|0|1|1|1|1|1|1|1|1| |
| + | |
| + | 1:真:True(トゥルー) |
| + | 0:偽:False(フォールス) |
| + | |
| + | AND(掛算)はOR(足算)より先に計算する事 |
| + | |
| + | **回路図 [#sf204056] |
| + | |
| + | 各論理式は電池と電球それを伝える配線で表現できる |
| + | IMPも他の回路と同様に回路図式化できる |
| + | |
| + | &ref(kairo1.png); |
| + | |
| + | **ベン図 [#h141a031] |
| + | |
| + | &ref(f5ee6b5ef9c8329673ee530c59206f91.png); |
| + | 集合の関係を表すための図。利用する際は領域を染めた領域を真とする |
| + | |
| **含意(がんい:IMPLIES) [#o3f4e744] | | **含意(がんい:IMPLIES) [#o3f4e744] |
| \(A\Rightarrow B\) 日本語にするなら「AならばB」 | | \(A\Rightarrow B\) 日本語にするなら「AならばB」 |
| | | |
| #hr | | #hr |
- | | |
- | **日本語とC#と論理記号 [#y474dce0] | |
- | | |
- | <真理値表> | |
- | |CENTER:|CENTER:|CENTER:|CENTER:|BGCOLOR(#FFDDDD):CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|BGCOLOR(#FFDDDD):CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|BGCOLOR(#FFDDDD):CENTER:|BGCOLOR(#FFDDDD):CENTER:|CENTER:|CENTER:|c | |
- | | | | | |\(A\wedge B\)| | | | | |\(A\vee B\)| | | | |\(\neg A\)|\(A\Rightarrow B\)| | | | |
- | | | | | |かつ| | | | | |または| | | | |でない|ならば| | | | |
- | | | | | |AND| | | | |XOR|OR|NOR| |NOT|IMP|NOT|IMP|NAND| | | |
- | |A|B| |false|A&&B|A&&!B|A|!A&&B|B|A!=B|A||B|!(A||B)|A==B|!B|A||!B|!A|!A||B|!(A&&B)|true| | |
- | |1|1| |0|1|0|1|0|1|0|1|0|1|0|1|0|1|0|1| | |
- | |1|0| |0|0|1|1|0|0|1|1|0|0|1|1|0|0|1|1| | |
- | |0|1| |0|0|0|0|1|1|1|1|0|0|0|0|1|1|1|1| | |
- | |0|0| |0|0|0|0|0|0|0|0|1|1|1|1|1|1|1|1| | |
- | | |
- | 1:真:True(トゥルー) | |
- | 0:偽:False(フォールス) | |
- | | |
- | AND(掛算)はOR(足算)より先に計算する事 | |
- | | |
- | **回路図 [#sf204056] | |
- | | |
- | 各論理式は電池と電球それを伝える配線で表現できる | |
- | IMPも他の回路と同様に回路図式化できる | |
- | | |
- | &ref(kairo1.png); | |
- | | |
- | **ベン図 [#h141a031] | |
- | | |
- | &ref(f5ee6b5ef9c8329673ee530c59206f91.png); | |
- | 集合の関係を表すための図。利用する際は領域を染めた領域を真とする | |
| | | |
| **条件付き論理積の確認 [#o520797c] | | **条件付き論理積の確認 [#o520797c] |
| public class Logic2 : MonoBehaviour | | public class Logic2 : MonoBehaviour |
| { | | { |
| + | |
| public bool check; | | public bool check; |
| | | |
| public Light blueLight, yellowLight; | | public Light blueLight, yellowLight; |
| public float timeSpan; | | public float timeSpan; |
| + | |
| float timeCount; | | float timeCount; |
| bool blue, yellow, button; | | bool blue, yellow, button; |
| + | |
| void Update () | | void Update () |
| { | | { |
| } | | } |
| }} | | }} |
| + | |
| + | #navi |