高位合成言語アセンブラを作る。 その6

概要

高位合成言語アセンブラを作る。
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

以上。