paizaでsympy その5
概要
sympyが、魔法なので、paizaで、やってみた。
練習問題、やってみた。
問題
x，y，z を論理変数，Tを真，Fを偽とするとき，次の真理値表で示される関数 f(x，y，z) を表す論理式はどれか。ここでnは論理積，Uは論理和，~AはAの否定を表す。
| x | y | z | f |
|---|---|---|---|
| t | t | t | t |
| t | t | f | t |
| t | f | t | t |
| t | f | f | f |
| f | t | t | f |
| f | t | f | f |
| f | f | t | t |
| f | f | f | f |
(xny)U(ynz)
(xny)U(~ynz)
(xny)U(~yn~z)
(xn~y)U(~yn~z)
サンプルコード
import sympy as sym
a = sym.POSform(['x', 'y', 'z'], [[1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 0, 1]])
print (a)
b = sym.SOPform(['x', 'y', 'z'], [[1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 0, 1]])
print (b)
結果
(y | z) & (x | ~y)
(x & y) | (z & ~y)
import sympy as sym
a = sym.POSform(['x', 'y', 'z'], [[1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 0, 1]])
print (a)
b = sym.SOPform(['x', 'y', 'z'], [[1, 1, 1], [1, 1, 0], [1, 0, 1], [0, 0, 1]])
print (b)
(y | z) & (x | ~y)
(x & y) | (z & ~y)
以上。
Author And Source
この問題について(paizaでsympy その5), 我々は、より多くの情報をここで見つけました https://qiita.com/ohisama@github/items/fedfd04fb5b081520213著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .