주접합정규형과 주접합정규형 찾는 방법!

주분리 정규형 주어진 명제 수식에 소항의 분리만으로 구성된 등가식이 있는 경우, 그 등가식을 원래 수식 패러다임의 주분리라고 합니다. /p>

주 분리 정규형의 고유성 n개의 명제 변수를 포함하는 거짓이 아닌 명제 공식 A의 주 분리 정규형은 고유합니다.

주 접속사 패러다임의 고유성입니다. n개의 명제 변수를 포함하는 영원히 참이 아닌 명제 공식 A는 고유한 주요 결합 정규형을 갖습니다.

진리표의 주요 정규형을 찾는 방법

( 1) (1 ) 진리표에서 공식의 진리값은 공식의 주요 분리 정규형인 T의 할당에 해당하는 단항의 분리입니다.

(2) (2 ) 진리표에서 수식의 진리값은 F의 대입에 해당하는 주요항의 결합으로, 이는 수식의 주접속정규형이다.

주정규형의 등가알고리즘

n개의 변수를 갖는 주어진 명제식 A에 대해 등가변환을 통해 고유한 주접합정규형 또는 주접속정규형으로 변환될 수 있습니다.

주정규형 사이

명제 공식에 n개의 명제 변수가 포함되어 있고 A의 주 접속사 정규형에 k 개의 작은 용어가 포함되어 있다고 가정하면 A의 주 접속사 정규형에는 큰 용어가 포함되어야 합니다.

명제 공식 A의 주요 분리 정규형은 다음과 같습니다. 그러면 A의 주요 접합 정규형은 다음과 같습니다.

n 명제 변수가 있는 공식 A의 주요 분리 정규형에서 결합 정규형을 찾습니다. 형식 단계:

(1) (1) 보조 용어를 포함하지 않는 A의 주 분리 정규형을 찾으세요.

(2) (2) (1)에서 찾으세요.

(3) (3) (2)에 적힌 주요 용어의 접속사는 A의 주요 접속사 정규형이다.

ezikao/bbs_disp_all.asp?id=34725&boardid=52