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

주접합 정규형 주어진 명제 수식에 소항의 논리합만으로 구성된 등가식이 있는 경우, 그 등가식을 원공식의 주접합이라고 합니다. /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)에 쓰여진 "아래 첨자"를 찾으세요. out은 해당 메이저 용어로 작성됩니다.

(3) (3) (2)에 작성된 주요 용어의 접속은 A의 주요 접속 정규형입니다.

당신

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