paizaでsympy その4
概要
sympyが、魔法なので、paizaで、やってみた。
練習問題、やってみた。
問題
XとYの否定論理積 X NAND Y は，NOT(X AND Y)として定義される。X OR Y をNANDだけを使って表した論理式はどれか。
((X NAND Y) NAND X) NAND Y
(X NAND X) NAND (Y NAND Y)
(X NAND Y) NAND (X NAND Y)
X NAND (Y NAND (X NAND Y))
from sympy.abc import X, Y
from sympy.logic.boolalg import *
import sympy
print (sympy.simplify_logic(~(Y & ~(X & ~(X & Y)))))
print (sympy.simplify_logic(~(~(X & X) & ~(Y & Y))))
print (sympy.simplify_logic(~(~(X & Y) & ~(X & Y))))
print (sympy.simplify_logic(~(X & ~(Y & ~(X & Y)))))
結果
~Y
X | Y
X & Y
~X
~Y
X | Y
X & Y
~X
以上。
Author And Source
この問題について(paizaでsympy その4), 我々は、より多くの情報をここで見つけました https://qiita.com/ohisama@github/items/2db31630e24db1c24f9c著者帰属：元の著者の情報は、元の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 .