何でブール代数がプログラムに使えるか教えろ
■ このスレッドは過去ログ倉庫に格納されています
2013/09/19(木) 19:21:58.64
頼む
65片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 17:18:36.66 ...(続き)
分配法則より
(与式)==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d) & (a==c)) | (!(c|d) & (b==d))
==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
ここで((c|d) & !(c|d))は偽であるから
(与式)==((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
さらに...(続く)
分配法則より
(与式)==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d) & (a==c)) | (!(c|d) & (b==d))
==((c|d) & (a==c) & (b==d) & !(c|d)) | ((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
ここで((c|d) & !(c|d))は偽であるから
(与式)==((c|d) & (a==c) & (b==d)) | (!(c|d) & (b==d)).
さらに...(続く)
66片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 18:08:35.28 >>65は間違い。
(>>64から続く)...
分配法則より
(与式)==((a==c) & (((c|d) & (b==d)) | !(c|d))) | (!(c|d) & (b==d))
==((a==c) & (((c|d) | !(c|d)) & ((b==d) | !(c|d)))) | (!(c|d) & (b==d)).
ここで((c|d) | !(c|d))==0であるから
(与式)==((a==c) & (0 & ((b==d) | !(c|d)))) | (!(c|d) & (b==d))
==((a==c) & 0) | (!(c|d) & (b==d))
==0 | (!(c|d) & (b==d))
==!(c|d) & (b==d)
==!c & !d & (b==d) (計算終わり)
(>>64から続く)...
分配法則より
(与式)==((a==c) & (((c|d) & (b==d)) | !(c|d))) | (!(c|d) & (b==d))
==((a==c) & (((c|d) | !(c|d)) & ((b==d) | !(c|d)))) | (!(c|d) & (b==d)).
ここで((c|d) | !(c|d))==0であるから
(与式)==((a==c) & (0 & ((b==d) | !(c|d)))) | (!(c|d) & (b==d))
==((a==c) & 0) | (!(c|d) & (b==d))
==0 | (!(c|d) & (b==d))
==!(c|d) & (b==d)
==!c & !d & (b==d) (計算終わり)
67片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 18:17:34.06 !c & !d & (b==d) でファイナルアンサー。
2014/01/23(木) 21:36:55.00
69片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 21:51:47.46 あちゃーまた間違えてたか。
c==1かつd==2のとき、(c|d) | !(c|d)==3になる。
(c|d) | !(c|d)は非ゼロであることは確か。
ブール代数の元に限定するなら1で正しいが。
c==1かつd==2のとき、(c|d) | !(c|d)==3になる。
(c|d) | !(c|d)は非ゼロであることは確か。
ブール代数の元に限定するなら1で正しいが。
70片山博文MZコスモ ◆T6xkBnTXz7B0
2014/01/23(木) 21:58:03.64 お題：関数呼び出しを含まないC言語のブール代数式を簡略化するプログラムを作れ。
できるか？
できるか？
2014/01/23(木) 22:58:31.12
73デフォルトの名無しさん
2014/01/28(火) 22:21:40.18 (a==c)|(b==d)
74島本町で凄惨なイジメを受けて廃人になった方へ
2014/08/07(木) 20:01:13.85ID:L9M/hxnx ＞大阪府三島郡島本町の小学校や中学校は、暴力イジメ学校や。
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな
子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
「暴力とイジメと口裏合わせと口封じ」の町やそういう町に巣食うヤクザ・チンピラ・ゴロツキ・不良・
いじめっ子・殺人鬼・ダニ・ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな
子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
「暴力とイジメと口裏合わせと口封じ」の町やそういう町に巣食うヤクザ・チンピラ・ゴロツキ・不良・
いじめっ子・殺人鬼・ダニ・ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ
75デフォルトの名無しさん
2016/07/31(日) 16:05:15.36ID:JTJLwIya 【閲覧注意】戦闘に巻き込まれて頭部を切断された少女の遺体。これがリアルなシリア。
http://dqnworld.com/archives/34.html
これが本当の戦争の恐怖。この少女には大人の戦争は関係ないですからね。巻き込まれた少女の遺体を持って何か
を訴えかけている男たちの映像です。
【閲覧注意】シリアで反体制派の兵士が顔を吹き飛ばされてしまう瞬間。
http://dqnworld.com/archives/89.html
スローモーションが怖すぎる・・・。
【閲覧注意】アッラーフアクバルを叫びながら少年を斬首する映像を公開する。
http://dqnworld.com/archives/3975.html
点滴？のようなものが見えるんだけど。助けられた少年じゃなかったのか。助けられた所を強奪されてアッラーフ
アクバル？なのかしら・・・。
【閲覧注意】磔にされた戦闘機パイロットの遺体。シリアにて。
http://dqnworld.com/archives/3996.html
今日のアッラーフアクバル動画。
【閲覧注意】この首吊り自殺、足スレスレだけど本当に死ねてる？
http://dqnworld.com/archives/4001.html
中国で撮影された首吊り自殺の映像です。既に死んでいると書いてあるけど自分で揺らしているようにみない？ｗｗｗ
妻の目の前でぶっ飛ばされた旦那さん？これは死んだかな(°_°)
http://dqnworld.com/archives/4004.html
さすがにこれだけ飛ばされたら助からないかな・・・。
【閲覧注意】あおむけでゲロを吐きまくっている男性。助けてやれよ・・・。窒息するぞ(@_@;)
http://dqnworld.com/archives/4007.html
これ結構危ないんじゃないの？撮影してないで横向きにしてやれよ。これ窒息する可能性あるだろ。
http://dqnworld.com/archives/34.html
これが本当の戦争の恐怖。この少女には大人の戦争は関係ないですからね。巻き込まれた少女の遺体を持って何か
を訴えかけている男たちの映像です。
【閲覧注意】シリアで反体制派の兵士が顔を吹き飛ばされてしまう瞬間。
http://dqnworld.com/archives/89.html
スローモーションが怖すぎる・・・。
【閲覧注意】アッラーフアクバルを叫びながら少年を斬首する映像を公開する。
http://dqnworld.com/archives/3975.html
点滴？のようなものが見えるんだけど。助けられた少年じゃなかったのか。助けられた所を強奪されてアッラーフ
アクバル？なのかしら・・・。
【閲覧注意】磔にされた戦闘機パイロットの遺体。シリアにて。
http://dqnworld.com/archives/3996.html
今日のアッラーフアクバル動画。
【閲覧注意】この首吊り自殺、足スレスレだけど本当に死ねてる？
http://dqnworld.com/archives/4001.html
中国で撮影された首吊り自殺の映像です。既に死んでいると書いてあるけど自分で揺らしているようにみない？ｗｗｗ
妻の目の前でぶっ飛ばされた旦那さん？これは死んだかな(°_°)
http://dqnworld.com/archives/4004.html
さすがにこれだけ飛ばされたら助からないかな・・・。
【閲覧注意】あおむけでゲロを吐きまくっている男性。助けてやれよ・・・。窒息するぞ(@_@;)
http://dqnworld.com/archives/4007.html
これ結構危ないんじゃないの？撮影してないで横向きにしてやれよ。これ窒息する可能性あるだろ。
2017/12/11(月) 20:49:36.10ID:xh8Y81wo
77デフォルトの名無しさん
2018/05/23(水) 21:05:28.95ID:Au5e7VGg 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
F15DB
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
F15DB
78デフォルトの名無しさん
2018/07/05(木) 00:50:34.15ID:RfoszcD2 AIQ
79デフォルトの名無しさん
2019/04/11(木) 17:56:39.13ID:qUwSdBdJ 。
80さまよえる蟻人間 ◆T6xkBnTXz7B0
2019/04/11(木) 20:41:30.94ID:4WryY6sc 再帰的定義。再帰的計算。ハードウェアとソフトウェアの融合。計算科学の結晶。
2019/04/11(木) 21:39:55.90ID:VFi1NhTI
>>32
天才チンパンジーにしてはちと天才すぎる
天才チンパンジーにしてはちと天才すぎる
2019/04/16(火) 20:51:13.86ID:kcG0S8Ob
8382
2019/04/16(火) 21:55:25.40ID:kcG0S8Ob ついでにこんなベンチを書いてシミュレーションしてみた。
library IEEE,WORK; use IEEE.std_logic_1164.all; use IEEE.std_logic_unsigned.all; use IEEE.std_logic_arith.all;
use WORK.FuncPrintf.all;
entity Test0010_tb is
end Test0010_tb;
architecture testbench of Test0010_tb is
component Test0010
port
( a,b,c,d : in boolean
; o : out boolean
);
end component;
signal a,b,c,d,o : boolean ;
signal x : std_logic_vector(4 downto 0) ;
begin
u : Test0010 port map (a,b,c,d,o);
a <= x(0) = '1';
b <= x(1) = '1';
c <= x(2) = '1';
d <= x(3) = '1';
x(4) <= '1' when o else '0';
process
begin
for i in 0 to 15 loop
x(3 downto 0) <= conv_std_logic_vector(i,4); wait for 1 ns;
printf("%02X\n",conv_integer(x));
end loop;
assert FALSE report "End." severity FAILURE;
end process;
end testbench;
library IEEE,WORK; use IEEE.std_logic_1164.all; use IEEE.std_logic_unsigned.all; use IEEE.std_logic_arith.all;
use WORK.FuncPrintf.all;
entity Test0010_tb is
end Test0010_tb;
architecture testbench of Test0010_tb is
component Test0010
port
( a,b,c,d : in boolean
; o : out boolean
);
end component;
signal a,b,c,d,o : boolean ;
signal x : std_logic_vector(4 downto 0) ;
begin
u : Test0010 port map (a,b,c,d,o);
a <= x(0) = '1';
b <= x(1) = '1';
c <= x(2) = '1';
d <= x(3) = '1';
x(4) <= '1' when o else '0';
process
begin
for i in 0 to 15 loop
x(3 downto 0) <= conv_std_logic_vector(i,4); wait for 1 ns;
printf("%02X\n",conv_integer(x));
end loop;
assert FALSE report "End." severity FAILURE;
end process;
end testbench;
8482
2019/04/16(火) 21:55:49.77ID:kcG0S8Ob 結果は左から順に下記。
o <= ((c or d)and(a=c)and(b = d)) or ((not(c or d))and((a = c)or(b = d)));
o <= (not c)and(not d)and(b=d);
o <= (a=c)or(b=d);
o <= (a=c)and(b=d);
結果。
# 10 10 10 10
# 11 11 11 01
# 12 02 12 02
# 03 03 03 03
# 04 04 14 04
# 15 05 15 15
# 06 06 06 06
# 07 07 17 07
# 08 08 18 08
# 09 09 09 09
# 1A 0A 1A 1A
# 0B 0B 1B 0B
# 0C 0C 0C 0C
# 0D 0D 1D 0D
# 0E 0E 1E 0E
# 1F 0F 1F 1F
o <= ((c or d)and(a=c)and(b = d)) or ((not(c or d))and((a = c)or(b = d)));
o <= (not c)and(not d)and(b=d);
o <= (a=c)or(b=d);
o <= (a=c)and(b=d);
結果。
# 10 10 10 10
# 11 11 11 01
# 12 02 12 02
# 03 03 03 03
# 04 04 14 04
# 15 05 15 15
# 06 06 06 06
# 07 07 17 07
# 08 08 18 08
# 09 09 09 09
# 1A 0A 1A 1A
# 0B 0B 1B 0B
# 0C 0C 0C 0C
# 0D 0D 1D 0D
# 0E 0E 1E 0E
# 1F 0F 1F 1F
86デフォルトの名無しさん
2020/03/26(木) 22:22:51.76ID:ljFDlwQq プロセスとスレッドの違いを教えて
87デフォルトの名無しさん
2020/03/27(金) 14:38:34.98ID:9RtDMjhb 続きはしかるべきスレで
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 中国からの留学中止相次ぐ 中国外務省「日本の治安が悪化」 [♪♪♪★]
- 特攻機と同じ名称「桜花中」、福岡・大牟田市の新設中学校名に異論 市民団体が再考申し入れ ★2 [少考さん★]
- 特攻機と同じ名称「桜花中」、福岡・大牟田市の新設中学校名に異論 市民団体が再考申し入れ [少考さん★]
- サウナ火災で夫婦死亡 非常ボタンが“電源切れ”★2 [夜のけいちゃん★]
- 町山智浩「日本のパンダ経済効果は308億円」…「…いらない」と言ってる人達は、パンダで暮らす人々の損害補填してくれるのか…と問う★2 [少考さん★]
- 「育休もらい逃げ」はずるい？🤔職場復帰しないで辞めるはアリかナシか [パンナ・コッタ★]
- 中国｢ぼくもChatgptにHBMメモリ売るー！｣更にPCメモリ高騰へ [347751896]
- 【高市速報】デヴィ夫人「中国の暴虐に対し、日本の方々よ、全員で戦いましょう」😮 [518915984]
- テレビ局「なんでお前ら、テレビ見なくなっちゃったの；；」 [161547316]
- おまいらの県鳥なんだよ？俺の県鳥と戦ってかてんのかよ？
- 赤坂サウナ蒸し焼き事件の夫婦のインスタ「娘の名前は汐亜（せあ）、英語でかくとＳｅａ、海が似合う娘に育ったらいいなって。笑」 [329329848]
- マチアプSEXリレー5日目のワイが今日もヤレるか予想して