微積分と物理/論理3
をテンプレートにして作成
Unity学習帳2冊目
微積分と物理/論理3 をテンプレートにして作成
[
トップ
] [
差分
|
バックアップ
|
リロード
] [
新規
|
一覧
|
検索
|
最新
|
ヘルプ
]
[ ]
開始行:
TITLE:微積分と物理/論理3
#jsmath
**論理表(ビット演算)
こちらはC#のビット演算向きに論理表を書いています
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|...
|論理式|<|<|\(\neg A\)|\(A\wedge B\)|\(A\vee B\)|\(A \und...
|日本訳|<|<|でない|かつ|または|排他|ならば|双条件|
|C#ビット演算|<|<|(~A)|(A&B)|(A|B)|(A^B)|(~A|B)|((~A...
|A|B|| | | | | | |
|1|1||0|1|1|0|1|1|
|1|0||0|0|1|1|0|0|
|0|1||1|0|1|1|1|0|
|0|0||1|0|0|0|1|1|
<メモ>
-論理式は括弧の一番深い所から計算を始める
-A,BやP,Q,R等を原子式と呼ぶ。原始式にひとつだけ\(\neg\)を...
-日本語の断言や断定は独立したリテラルとなる(かならずしも...
-「したがって」と「ならば(\(\rightarrow \))」は違う
-日本語の句読点(、。)によって終端がはっきりしていれば、...
***真理値分析の真理表
例:\(\neg ((P\wedge (P\rightarrow Q))\rightarrow R...
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
|\(P\)|\(Q\)|\(R\)|\(P\rightarrow Q \)|\( P\wedge (P\righ...
|1|1|1| | | | |
|1|1|0| | | | |
|1|0|1| | | | |
|1|0|0| | | | |
|0|1|1| | | | |
|0|1|0| | | | |
|0|0|1| | | | |
|0|0|0| | | | |
原子式がP,Q,Rと3つある時、その真理値の組み合わせは8通り...
真理分析を行う際は論理式の括弧の内側から計算を始める。\(\...
この論理表の作成にC#を利用してコーディングすると以下になる
#code(csharp){{
using UnityEngine;
using System.Collections;
using System;
public class Logic2 : MonoBehaviour
{
int mask, p, q, r;
void Start ()
{
//2進数でint値を設定
p = Convert.ToInt32 ("11110000", 2);
q = Convert.ToInt32 ("11001100", 2);
r = Convert.ToInt32 ("10101010", 2);
//ビットマスク
mask = Convert.ToInt32 ("11111111", 2);
int PconditonalQ = (~p | q) & mask; // p⇒q
int PconjunctionPconditonalQ = (p & PconditonalQ) & mas...
int PconjunctionPconditonalQconjunctionR = (~Pconjuncti...
int negationPconjunctionPconditonalQconjunctionR = ~Pco...
int total = (~(~(p & (~p | q)) | r)) & mask; //¬((p^(p...
print (Convert.ToString (PconditonalQ, 2).PadLeft (8, '...
print (Convert.ToString (PconjunctionPconditonalQ, 2).P...
print (Convert.ToString (PconjunctionPconditonalQconjun...
print (Convert.ToString (negationPconjunctionPconditona...
print (Convert.ToString (total, 2).PadLeft (8, '0'));
}
}
}}
計算結果は以下になる。コードの出力した結果と見比べてみて...
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
|\(P\)|\(Q\)|\(R\)|\(P\rightarrow Q \)|\( P\wedge (P\righ...
|1|1|1|1|1|1|0|
|1|1|0|1|1|0|1|
|1|0|1|0|0|1|0|
|1|0|0|0|0|1|0|
|0|1|1|1|0|1|0|
|0|1|0|1|0|1|0|
|0|0|1|1|0|1|0|
|0|0|0|1|0|1|0|
文法はシンタックス。その文の意味をセマンティクスと呼ぶ。...
終了行:
TITLE:微積分と物理/論理3
#jsmath
**論理表(ビット演算)
こちらはC#のビット演算向きに論理表を書いています
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|...
|論理式|<|<|\(\neg A\)|\(A\wedge B\)|\(A\vee B\)|\(A \und...
|日本訳|<|<|でない|かつ|または|排他|ならば|双条件|
|C#ビット演算|<|<|(~A)|(A&B)|(A|B)|(A^B)|(~A|B)|((~A...
|A|B|| | | | | | |
|1|1||0|1|1|0|1|1|
|1|0||0|0|1|1|0|0|
|0|1||1|0|1|1|1|0|
|0|0||1|0|0|0|1|1|
<メモ>
-論理式は括弧の一番深い所から計算を始める
-A,BやP,Q,R等を原子式と呼ぶ。原始式にひとつだけ\(\neg\)を...
-日本語の断言や断定は独立したリテラルとなる(かならずしも...
-「したがって」と「ならば(\(\rightarrow \))」は違う
-日本語の句読点(、。)によって終端がはっきりしていれば、...
***真理値分析の真理表
例:\(\neg ((P\wedge (P\rightarrow Q))\rightarrow R...
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
|\(P\)|\(Q\)|\(R\)|\(P\rightarrow Q \)|\( P\wedge (P\righ...
|1|1|1| | | | |
|1|1|0| | | | |
|1|0|1| | | | |
|1|0|0| | | | |
|0|1|1| | | | |
|0|1|0| | | | |
|0|0|1| | | | |
|0|0|0| | | | |
原子式がP,Q,Rと3つある時、その真理値の組み合わせは8通り...
真理分析を行う際は論理式の括弧の内側から計算を始める。\(\...
この論理表の作成にC#を利用してコーディングすると以下になる
#code(csharp){{
using UnityEngine;
using System.Collections;
using System;
public class Logic2 : MonoBehaviour
{
int mask, p, q, r;
void Start ()
{
//2進数でint値を設定
p = Convert.ToInt32 ("11110000", 2);
q = Convert.ToInt32 ("11001100", 2);
r = Convert.ToInt32 ("10101010", 2);
//ビットマスク
mask = Convert.ToInt32 ("11111111", 2);
int PconditonalQ = (~p | q) & mask; // p⇒q
int PconjunctionPconditonalQ = (p & PconditonalQ) & mas...
int PconjunctionPconditonalQconjunctionR = (~Pconjuncti...
int negationPconjunctionPconditonalQconjunctionR = ~Pco...
int total = (~(~(p & (~p | q)) | r)) & mask; //¬((p^(p...
print (Convert.ToString (PconditonalQ, 2).PadLeft (8, '...
print (Convert.ToString (PconjunctionPconditonalQ, 2).P...
print (Convert.ToString (PconjunctionPconditonalQconjun...
print (Convert.ToString (negationPconjunctionPconditona...
print (Convert.ToString (total, 2).PadLeft (8, '0'));
}
}
}}
計算結果は以下になる。コードの出力した結果と見比べてみて...
|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|CENTER:|c
|\(P\)|\(Q\)|\(R\)|\(P\rightarrow Q \)|\( P\wedge (P\righ...
|1|1|1|1|1|1|0|
|1|1|0|1|1|0|1|
|1|0|1|0|0|1|0|
|1|0|0|0|0|1|0|
|0|1|1|1|0|1|0|
|0|1|0|1|0|1|0|
|0|0|1|1|0|1|0|
|0|0|0|1|0|1|0|
文法はシンタックス。その文の意味をセマンティクスと呼ぶ。...
ページ名: