#概要
高位合成言語アセンブラを作る。
pythonで、真理値表から論理式、求めてみた。
#サンプルコード
import sympy as sym
#xor
print (sym.POSform(['a', 'b'], [[1, 0], [0, 1]]))
#or
print (sym.POSform(['a', 'b'], [[1, 1], [0, 1], [1, 0]]))
#and
print (sym.POSform(['a', 'b'], [[1, 1]]))
#nand
print (sym.POSform(['a', 'b'], [[0, 0], [0, 1], [1, 0]]))
#nor
print (sym.POSform(['a', 'b'], [[0, 0]]))
print (sym.POSform(['a', 'b', 'c'], [[1, 1, 1]]))
#実行結果
(a | b) & (~a | ~b)
a | b
a & b
~a | ~b
~a & ~b
a & b & c
以上。