логик матриц
[1-1-2-3]日本語
論理行列
英語
logic matrix
備考
truth representation