プチコンまとめWiki (初代/mkII)

投稿プログラム : 真理値表作成ソフト

パンくずリスト

2012年01月29日投稿 / タグ : 投稿プログラム QRコード

概要

論理式を入力すると真理値表、加法標準形と乗法標準形を出力するプログラムです。
十字キーの下で真理値表をスクロールしますが、ゆっくり表示させたい場合はBボタンでどうぞ。

論理式の文法

中置記法なので、逆ポーランド記法で入力する必要はありません。
演算子は+がOR、^がXOR、*がAND、!がNOTに対応しており、変数名には大文字アルファベットと数字が使用出来ます。
(ただし、変数名の最初の文字に数字は使えません。)
真は1、偽は0に対応しており、式の中で使用することも可能です。

演算子の優先順位

() > ! > * > ^ > +
!は右結合、それ以外は左結合

スクリーンショット・動画

スクリーンショットや動画はありません。

QRコード

truth.png

プログラムリスト

  1. ’ショキカ
  2. ＣＬＥＡＲ
  3. ＤＩＭ　ＰＯＷ２（１６）
  4. ＰＯＷ２（０）＝１
  5. ＦＯＲ　Ｉ＝１　ＴＯ　１５
  6. 　ＰＯＷ２（Ｉ）＝２＊ＰＯＷ２（Ｉ−１）
  7. ＮＥＸＴ
  9. ’ニュウリョク　カノウモシ゛
  10. ＡＬＰ＄＝”ＡＢＣＤＥＦＧＨＩＪＫＬＭＮＯＰＱＲＳＴＵＶＷＸＹＺ”
  11. ＶＡＲＣＨＲ＄＝ＡＬＰ＄＋”０１２３４５６７８９”
  13. ＩＮＰＵＴ”ロンリシキ”；ＥＸＰＲ＄
  15. ’ヘンスウシ゛ョウホウ
  16. ＤＩＭ　ＶＡＲ＄（１６）
  17. ＦＯＲ　Ｐ＝０　ＴＯ　ＬＥＮ（ＥＸＰＲ＄）−１
  18. 　ＦＯＲ　Ｉ＝１　ＴＯ　１
  19. 　　Ｉ＝ＩＮＳＴＲ（ＡＬＰ＄，ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１））＋１
  20. 　　Ｐ＝Ｐ＋１
  21. 　ＮＥＸＴ
  22. 　Ｐ＝Ｐ−１
  23. 　ＧＯＳＵＢ　＠ＧＥＴＮ
  24. 　Ｊ＝Ｎ
  25. 　ＦＯＲ　Ｉ＝０　ＴＯ　Ｎ
  26. 　　ＩＦ　Ｓ＄＝＝ＶＡＲ＄（Ｉ）　ＴＨＥＮ　Ｊ＝Ｉ：Ｎ＝Ｎ−１
  27. 　ＮＥＸＴ
  28. 　ＶＡＲ＄（Ｊ）＝Ｓ＄
  29. 　Ｎ＝Ｎ＋１
  30. ＮＥＸＴ
  31. ＳＯＲＴ　０，Ｎ，ＶＡＲ＄
  33. ’ヘンスウノ　ヒョウカチ
  34. Ｌ＝ＰＯＷ２（（ＡＢＳ（Ｎ−４）＋Ｎ−４）／２）
  35. ＤＩＭ　ＴＢＬ（Ｎ，Ｌ），ＳＴＫ（１２８，Ｌ）
  37. ＦＯＲ　Ｉ＝０　ＴＯ　３
  38. 　ＩＦ　Ｉ＜Ｎ　ＴＨＥＮ　ＲＥＡＤ　ＴＢＬ（Ｉ，０）
  39. 　ＦＯＲ　Ｊ＝１　ＴＯ　Ｌ−１
  40. 　　ＴＢＬ（Ｉ，Ｊ）＝ＴＢＬ（Ｉ，０）
  41. 　ＮＥＸＴ
  42. ＮＥＸＴ
  44. ＦＯＲ　Ｉ＝４　ＴＯ　Ｎ−１
  45. 　ＦＯＲ　Ｊ＝０　ＴＯ　Ｌ−１
  46. 　　Ｑ＝Ｊ　ＡＮＤ　ＰＯＷ２（Ｉ−４）
  47. 　　ＴＢＬ（Ｉ，Ｊ）＝（Ｑ＝＝０）−１
  48. 　ＮＥＸＴ
  49. ＮＥＸＴ
  51. Ｐ＝０
  52. ＧＯＳＵＢ　＠ＥＶＡＬ
  54. ’ヘンスウメイノ　ヒョウシ゛
  55. ＦＯＲ　Ｉ＝１　ＴＯ　Ｎ
  56. 　ＰＲＩＮＴ　ＶＡＲ＄（Ｎ−Ｉ）；”　”；
  57. ＮＥＸＴ
  58. ＰＲＩＮＴ”│”
  60. ’シ゛クノヒョウシ゛
  61. ＦＯＲ　Ｉ＝０　ＴＯ　Ｎ−１
  62. 　ＦＯＲ　Ｊ＝０　ＴＯ　ＬＥＮ（ＶＡＲ＄（Ｉ））
  63. 　　ＰＲＩＮＴ”─”；
  64. 　ＮＥＸＴ
  65. ＮＥＸＴ
  66. ＰＲＩＮＴ”┼──”
  68. ’シンリチヒョウノ　ヒョウシ゛
  69. ＦＯＲ　Ｉ＝０　ＴＯ　ＰＯＷ２（Ｎ）−１
  70. 　ＦＯＲ　Ｊ＝１　ＴＯ　Ｎ
  71. 　　ＰＲＩＮＴ（ＰＯＷ２（Ｎ−Ｊ）ＡＮＤ　Ｉ）！＝０；
  72. 　　ＦＯＲ　Ｋ＝１　ＴＯ　ＬＥＮ（ＶＡＲ＄（Ｎ−Ｊ））
  73. 　　　ＰＲＩＮＴ”　”；
  74. 　　ＮＥＸＴ
  75. 　ＮＥＸＴ
  76. 　Ｑ＝ＳＴＫ（ＳＰ，Ｉ／１６）ＡＮＤ　ＰＯＷ２（Ｉ％１６）
  77. 　ＰＲＩＮＴ”│”；Ｑ！＝０
  78. 　ＦＯＲ　Ｊ＝０　ＴＯ　１
  79. 　　Ｊ＝２ＡＮＤ　ＢＵＴＴＯＮ（）
  80. 　　ＩＦ　３２ＡＮＤ　ＮＯＴ　ＢＵＴＴＯＮ（）　ＴＨＥＮ　ＷＡＩＴ　５
  81. 　ＮＥＸＴ
  82. ＮＥＸＴ
  84. ’カホウヒョウシ゛ュンケイノ　ヒョウシ゛
  85. ＦＩＲＳＴ＝ＴＲＵＥ
  86. ＦＯＲ　Ｉ＝０　ＴＯ　ＰＯＷ２（Ｎ）−１
  87. 　ＦＯＲ　Ｊ＝ＮＯＴ　ＳＴＫ（ＳＰ，Ｉ／１６）ＡＮＤ　ＰＯＷ２（Ｉ％１６）　ＴＯ　０
  88. 　　ＩＦ　ＦＩＲＳＴ＝＝ＦＡＬＳＥ　ＴＨＥＮ　ＰＲＩＮＴ　”＋”；
  89. 　　ＦＩＲＳＴ＝ＦＡＬＳＥ
  90. 　　ＦＯＲ　Ｊ＝０　ＴＯ　Ｎ−１
  91. 　　　ＩＦ　ＮＯＴ　Ｉ　ＡＮＤ　ＰＯＷ２（Ｊ）　ＴＨＥＮ　ＰＲＩＮＴ”！”；
  92. 　　　ＰＲＩＮＴ　ＶＡＲ＄（Ｊ）；
  93. 　　　ＩＦ　Ｊ！＝Ｎ−１　ＴＨＥＮ　ＰＲＩＮＴ”＊”；
  94. 　　ＮＥＸＴ
  95. 　ＮＥＸＴ
  96. ＮＥＸＴ
  97. ＰＲＩＮＴ””
  99. ’シ゛ョウホウヒョウシ゛ュンケイノ　ヒョウシ゛
  100. ＦＩＲＳＴ＝ＴＲＵＥ
  101. ＦＯＲ　Ｉ＝０　ＴＯ　ＰＯＷ２（Ｎ）−１
  102. 　ＦＯＲ　Ｊ＝ＳＴＫ（ＳＰ，Ｉ／１６）ＡＮＤ　ＰＯＷ２（Ｉ％１６）　ＴＯ　０
  103. 　　ＩＦ　ＦＩＲＳＴ＝＝ＦＡＬＳＥ　ＴＨＥＮ　ＰＲＩＮＴ　”＊”；
  104. 　　ＦＩＲＳＴ＝ＦＡＬＳＥ
  105. 　　ＰＲＩＮＴ”（”；
  106. 　　ＦＯＲ　Ｊ＝０　ＴＯ　Ｎ−１
  107. 　　　ＩＦ　Ｉ　ＡＮＤ　ＰＯＷ２（Ｊ）　ＴＨＥＮ　ＰＲＩＮＴ”！”；
  108. 　　　ＰＲＩＮＴ　ＶＡＲ＄（Ｊ）；
  109. 　　　ＩＦ　Ｊ！＝Ｎ−１　ＴＨＥＮ　ＰＲＩＮＴ”＋”；
  110. 　　ＮＥＸＴ
  111. 　　ＰＲＩＮＴ”）”；
  112. 　ＮＥＸＴ
  113. ＮＥＸＴ
  114. ＥＮＤ
  116. ＤＡＴＡ　＆ＨＡＡＡＡ，＆ＨＣＣＣＣ，＆ＨＦ０Ｆ０，＆ＨＦＦ００
  118. ’−−−ＯＲエンサ゛ン
  119. ＠ＥＶＡＬ
  120. 　ＳＰ＝ＳＰ＋１
  121. 　ＧＯＳＵＢ　＠ＬＯＷ
  122. 　＠ＯＲＬＯＯＰ
  123. 　　ＧＯＳＵＢ　＠ＦＡＣＴ１
  124. 　　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  125. 　　　ＳＴＫ（ＳＰ−１，Ｉ）＝ＳＴＫ（ＳＰ−１，Ｉ）ＯＲ　ＳＴＫ（ＳＰ，Ｉ）
  126. 　　ＮＥＸＴ
  127. 　　Ｃ＄＝ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１）
  128. 　　ＩＦ　Ｃ＄＝＝”＋”　ＴＨＥＮ　Ｐ＝Ｐ＋１：ＧＯＴＯ　＠ＯＲＬＯＯＰ
  129. 　ＳＰ＝ＳＰ−１
  130. 　ＲＥＴＵＲＮ
  132. ’−−−ＸＯＲエンサ゛ン
  133. ＠ＦＡＣＴ１
  134. 　ＳＰ＝ＳＰ＋１
  135. 　ＧＯＳＵＢ　＠ＬＯＷ
  136. 　＠ＸＯＲＬＯＯＰ
  137. 　　ＧＯＳＵＢ　＠ＦＡＣＴ２
  138. 　　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  139. 　　　ＳＴＫ（ＳＰ−１，Ｉ）＝ＳＴＫ（ＳＰ−１，Ｉ）ＸＯＲ　ＳＴＫ（ＳＰ，Ｉ）
  140. 　　ＮＥＸＴ
  141. 　　Ｃ＄＝ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１）
  142. 　　ＩＦ　Ｃ＄＝＝”＾”　ＴＨＥＮ　Ｐ＝Ｐ＋１：ＧＯＴＯ　＠ＸＯＲＬＯＯＰ
  143. 　ＳＰ＝ＳＰ−１
  144. 　ＲＥＴＵＲＮ
  146. ’−−−ＡＮＤエンサ゛ン
  147. ＠ＦＡＣＴ２
  148. 　ＳＰ＝ＳＰ＋１
  149. 　ＧＯＳＵＢ　＠ＨＩＧＨ
  150. 　＠ＡＮＤＬＯＯＰ
  151. 　　ＧＯＳＵＢ　＠ＴＥＲＭ
  152. 　　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  153. 　　　ＳＴＫ（ＳＰ−１，Ｉ）＝ＳＴＫ（ＳＰ−１，Ｉ）ＡＮＤ　ＳＴＫ（ＳＰ，Ｉ）
  154. 　　ＮＥＸＴ
  155. 　　Ｃ＄＝ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１）
  156. 　　ＩＦ　Ｃ＄＝＝”＊”　ＴＨＥＮ　Ｐ＝Ｐ＋１：ＧＯＴＯ　＠ＡＮＤＬＯＯＰ
  157. 　ＳＰ＝ＳＰ−１
  158. 　ＲＥＴＵＲＮ
  160. ’−−−ニコウエンサ゛ンシイカ゛イ
  161. ＠ＴＥＲＭ
  162. 　ＳＰ＝ＳＰ＋１
  163. 　ＧＯＳＵＢ　＠ＳＫＩＰ
  165. 　’ヘンスウノヒョウカ
  166. 　ＦＯＲ　Ｉ＝！（ＩＮＳＴＲ（ＡＬＰ＄，ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１））＋１）　ＴＯ　０
  167. 　　ＧＯＳＵＢ　＠ＧＥＴＮ
  168. 　　ＦＯＲ　Ｉ＝０　ＴＯ　Ｎ−１
  169. 　　　ＩＦ　ＶＡＲ＄（Ｉ）＝＝Ｓ＄　ＴＨＥＮ　Ｊ＝Ｉ
  170. 　　ＮＥＸＴ
  171. 　　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  172. 　　　ＳＴＫ（ＳＰ−１，Ｉ）＝ＴＢＬ（Ｊ，Ｉ）
  173. 　　ＮＥＸＴ
  174. 　ＮＥＸＴ
  176. 　’ＮＯＴエンサ゛ン
  177. 　ＦＯＲ　Ｉ＝Ｃ＄！＝”！”　ＴＯ　０
  178. 　　Ｐ＝Ｐ＋１
  179. 　　ＧＯＳＵＢ　＠ＴＥＲＭ
  180. 　　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  181. 　　　ＳＴＫ（ＳＰ−１，Ｉ）＝ＮＯＴ　ＳＴＫ（ＳＰ，Ｉ）
  182. 　　ＮＥＸＴ
  183. 　ＮＥＸＴ
  185. 　ＩＦ　Ｃ＄＝＝”０”　ＴＨＥＮ　Ｐ＝Ｐ＋１：ＧＯＳＵＢ　＠ＬＯＷ
  186. 　ＩＦ　Ｃ＄＝＝”１”　ＴＨＥＮ　Ｐ＝Ｐ＋１：ＧＯＳＵＢ　＠ＨＩＧＨ
  188. 　’カッコノヒョウカ
  189. 　ＦＯＲ　Ｉ＝Ｃ＄！＝”（”　ＴＯ　０
  190. 　　Ｐ＝Ｐ＋１
  191. 　　ＳＰ＝ＳＰ−１
  192. 　　ＧＯＳＵＢ　＠ＥＶＡＬ
  193. 　　ＳＰ＝ＳＰ＋１
  194. 　　Ｐ＝Ｐ＋１
  195. 　ＮＥＸＴ
  197. 　ＧＯＳＵＢ　＠ＳＫＩＰ
  198. 　ＳＰ＝ＳＰ−１
  199. 　ＲＥＴＵＲＮ
  201. ’−−−ヘンスウメイノ　シュトク
  202. ＠ＧＥＴＮ
  203. 　Ｑ＝Ｐ
  204. 　ＦＯＲ　Ｉ＝１　ＴＯ　１
  205. 　　Ｃ＄＝ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１）
  206. 　　ＦＯＲ　Ｊ＝！（ＩＮＳＴＲ（ＶＡＲＣＨＲ＄，Ｃ＄）＋１）ＯＲ　Ｃ＄＝＝””　ＴＯ　０
  207. 　　　Ｐ＝Ｐ＋１
  208. 　　　Ｉ＝０
  209. 　　ＮＥＸＴ
  210. 　ＮＥＸＴ
  211. 　Ｓ＄＝ＭＩＤ＄（ＥＸＰＲ＄，Ｑ，Ｐ−Ｑ）
  212. 　ＲＥＴＵＲＮ
  213. 　
  214. ’−−−スヘ゛テノケタニ１
  215. ＠ＨＩＧＨ
  216. 　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  217. 　　ＳＴＫ（ＳＰ−１，Ｉ）＝−１
  218. 　ＮＥＸＴ
  219. 　ＲＥＴＵＲＮ
  221. ’−−−スヘ゛テノケタニ０
  222. ＠ＬＯＷ
  223. 　ＦＯＲ　Ｉ＝０　ＴＯ　Ｌ−１
  224. 　　ＳＴＫ（ＳＰ−１，Ｉ）＝０
  225. 　ＮＥＸＴ
  226. 　ＲＥＴＵＲＮ
  228. ’−−−クウハクヲ　トハ゛ス
  229. ＠ＳＫＩＰ
  230. 　Ｃ＄＝ＭＩＤ＄（ＥＸＰＲ＄，Ｐ，１）
  231. 　ＩＦ　Ｃ＄＝＝”　”　ＴＨＥＮ　Ｐ＝Ｐ＋１：ＧＯＴＯ　＠ＳＫＩＰ
  232. 　ＲＥＴＵＲＮ

CHECKER FLAG (ひとことコメント)

この作品に対するコメントがあれば一言どうぞ。(作品に直接関係ない質問や雑談は掲示板へ)

  • 名無しさん : 式全体を（）でくくらないと＠ＧＥＴＮが無限ループになるようです。 (2012/02/04 (土) 22:35:28)
  • 投稿者 : 修正しました。ご指摘ありがとうございます。 (2012/02/09 (木) 15:10:49)
  • ＠わぁいさんへ : ＳＰＳＥＴで管理０が管理１にふれたらきえるのどうやるの (2012/02/10 (金) 11:26:37)
  • ＠わぁいさんへ : ＳＰＳＥＴで管理０が管理１にふれたらきえるのどうやるの (2012/02/10 (金) 11:26:38)
  • RND 128 : ↑ IF ABS(X(0)-X(1))>16 AND ABS(Y(0)-Y(1))>16 THEN X(0)=-256 (2012/02/10 (金) 11:39:14)
  • RND 128 : 質問に関してはOFコーナーやプチコン掲示板でどうぞ。 (2012/02/10 (金) 11:42:57)
  • RND 128 : ↑↑>じゃなくて<=でした、すいません。 (2012/02/10 (金) 12:18:40)
  • 投稿者 : リダイレクトとdiffが欲しいです・・・ (2012/06/17 (日) 17:49:52)

表示モード : [ スマホ・3DS対応表示 | クラシック表示 ]
PukiWiki 1.4.7 Copyright © 2001-2006 PukiWiki Developers Team. License is GPL. Based on "PukiWiki" 1.3 by yu-ji
ページの処理時間 : 0.109 秒 | このページの最終更新 : 2022/09/20 (火) 12:44:20 (565d) | ログイン
Copyright(C) 2011-2014 プチコンまとめWiki ◆1sxkymI8ji30