PLAでの実装
PLA-based DNF Implementation