>>807
まだわからんの?
これだけ丁寧に説明されて
アホなん?
だからこの手の問題の題意は
「この論理式が正しいのはわかるよね?実際真理表かいたら正しいよね?だとしたら完全性で証明作れるはずだよね?作ってみて?」と言われて「ハイ、真理表かいたら正しいと確認できました」とか

 あ ほ な ん ?