Formula-Generator

What is it?

ランダムな論理式を出力してくれるプログラムです。

論理式は、bool型の変数Xと、論理記号∧、∨、￢と()で構成されます。

How to use?

Formula-Generator.exeを実行してください。

長さnを入力すると、n文字の変数を使った論理式を返します。

Input 1

3

Output 1

X∧(￢X∨X)

Input 2

10

Output 2

￢X∧￢(X∧￢X)∧￢X∧￢X∧(￢(X∨￢X)∧(￢X∧X)∧X)

What to use?

知りません。本当にいつ使うんでしょうか。

あなたがランダムな論理式を欲した時に使ってください。

How to work?

再帰的に動かしています。

n文字の論理式の作り方

n==1なら

￢を2/3の確率で付けます(1/2じゃないのは、￢が多い方が複雑で解くのが難しくて面白いと思ったからです)。出力。

n>=2なら

n文字をランダムに分割します。

分割したそれぞれで再帰的に論理式を作って、それをつなげます。

この時2文字以上の論理式は()を付けます。

要素ごとにランダムに￢を付けます。

繋ぐ記号を決めて繋げます。

出力。