素子の種類の条件を満たす真理値表を小さい方から総当たりだな。

ちなみに「条件を満たす回路が存在しない」ことの証明は
総当たりで調べても見つからなかったことを言う以外に方法はない。
典型的なNP問題。