新しく発言する EXIT インデックスへ

論理演算や集合演算の計算して、その結果を...

　　論理演算や集合演算の計算して、その結果を真理値表やベン図で表す 山中和義 2008/03/08 14:38:52  (修正1回)
　　├つづき（真理値表、ベン図） 山中和義 2008/03/08 14:41:15 
　　│└つづき（式の評価eval） 山中和義 2008/03/08 14:43:25  (修正1回)
　　│　└つづき 山中和義 2008/03/08 14:44:12  (修正1回)
　　│　　└つづき 山中和義 2008/03/08 14:44:53 
　　│　　　└つづき（メイン） 山中和義 2008/03/08 14:46:11  (修正1回)
Re: つづき 返事を書く ノートメニュー
山中和義 <drdlxujciw> 2008/03/08 14:46:11 ** この記事は1回修正されてます
つづき（メイン）



DEF ToBin$(x,m)=right$(REPEAT$("0",m-1)&BSTR$(x,2),m) !mビットの２進数に変換する
!DEF ToBin$(x,m)=right$(REPEAT$("0",m-1)&BSTR$(MOD(x,2^m),2),m) !mビットの２進数に変換する


LET p=1 !文字位置　※１〜LEN(s$)

LET s$="(A+B)*(A'+C)" !論理演算（論理式）
!LET s$="A*C+A'*B"
!LET s$="A'*B'*C'+A'*B*C'+A*B'*C'+A*B*C'" !C
!LET s$="!A+!B" !!A*B

!LET s$="¬(A∪B)" !集合演算
!LET s$="A-A∩B∩C"
!LET s$="A∩¬φ" !A
!LET s$="¬¬(¬A∩B)"

!LET s$="A⇒B" !命題
!LET s$="¬A⇒¬B" !裏
!LET s$="B ⇒ A" !逆
!LET s$="¬B ⇒ ¬A" !対偶

!LET s$="¬(A⇔B)" !XOR
!LET s$="A⇒(B⇒A)"
!LET s$="A⇒A∨B"


LET eval=propositional_expression(s$) !式の評価

IF p<=LEN(s$) THEN PRINT p;"文字目が誤りです。"

LET m$=ToBin$(eval,2^N) !2進数へ
PRINT "eval=(";m$;")2" !結果
PRINT


DIM T(2^N) !真理値表
CALL TruthTable(m$, N,T) !表示
PRINT


CALL Venn(m$) !ベン図を描く


END
 
　　├真理値表（truthtable）から論理式（論理関... 山中和義 2008/03/10 10:55:33 
　　└!真理値表から多変数多項式をつくる 山中和義 2008/04/08 14:22:27

インデックスへ EXIT
新規発言を反映させるにはブラウザの更新ボタンを押してください。