論理式の基本的なアイデンティティとは何か、それをどのように取得するのか疑問に思っていました。私はグーグルで見ましたが、それについて何も見つかりませんでした。
たとえば、論理式があるとします ~(~(P ^ ~(P ^ Q)) ^ ~(Q ^ ~(P ^ Q))) 以下は真理値表から得た結果であり、私は知りません基本的なアイデンティティを得るためにそれをどうするかを知っています。
0
1
1
0
同様に、私は真理値表を持っていますが、そこから論理式を導き出す方法がわかりません。
P Q R F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1