진리표 질문

[ㅁㄴㅇㄹ(122.38)]

(p↔(¬p∧¬q))→q를 진리표로 확인해 보니까

가운데쓰기 : (p ↔ ¬p ∧ ¬q) → q
앞에쓰기 : → ↔ p ∧ ¬ p ¬ q q
뒤에쓰기 : p p ¬ q ¬ ∧ ↔ q →
논리합정규형식 : (p∧q)∨(p∧¬q)∨(¬p∧q)∨(¬p∧¬q)
논리곱정규형식 : (p∨¬p)∧(q∨¬q)

이런게 나오던데 

가운데쓰기부터 논리곱정규형식 까지 뭘의미하는지 모르겠어요  대체 무슨뜻이죠?

[익명(112.149)]

Polish 표기법이라고 앎? 가운데쓰기의 논리식에 있는 괄호를 쓰지 않고 그 의미를 보존하는 논리식으로 표현하는 표기법 중 하나임. 그냥 가운데쓰기에 있는 논리식을 Polish 표기법으로 표현했다고 생각하면 됨.

[익명(112.149)]

그리고 질문한 논리식은 항진(tautology)인데 논리합정규형식이나 논리곱정규형식은 똑같이 항진명제로서, 질문한 논리식을 논리합이나 논리곱형식으로 동치명제를 만든 거 같음.

[익명(112.149)]

예를 들어 질문한 논리식을 논리합으로 표현하는 동치명제가 논리합정규형식에 나오는 명제라고 생각하면 됨.