0403132人目の素数さん垢版 | 大砲2011/05/01(日) 22:30:42.77 n種類の命題変数を使って、文字数がmの論理式をつくります。 論理式には→のみしか出現しません。 例: A→(B→A) このとき括弧が正常なもの、 例えば (A→B のように括弧が閉じていなかったりするものを 除いた論理式は全部でいくつ作れるのでしょうか?