Метод Квайна поиска Сокднф

• Название: Метод Квайна поиска Сокднф
• Дата: 09.12.2020
• Размер: 92.04 Kb.
• Имя файла: abd0746177ad9d1f.docx
• Тип: Документы; #158598
• страница: 2 из 6

1	- 5
1	- 6
2	- 3
2	- 4 *							x3 x4
						x1
2	- 5
2	- 6
3	- 4 *								x2 x4
						x1
3	- 5
3	- 6
4	- 5
4	- 6 *					x2 x3 x4
5	- 6 *					x1 x2 x3
f x1, x 2, x3, x 4																														1																																											2																																		3																						4																																5																												6
																																																x 4																																										x 4																	x3 x 4																																						x 2 x 4 x 2 x3 x 4 x1 x 2 x3
																														x1											x 2																											x1																x3														x1																																							x1
1 - 2																														2-3*																																																																			x4																																3 - 4																																4 - 5																												5 - 6
																																																																																																x1
1 - 3																														2 - 4																																																																																																				3 - 5																																4 - 6
1-4*			x4																											2 - 5																																																																																																				3 - 6
		x1
1 - 5																														2 - 6
1 - 6

6. 
   x₁, x ₂, x₃, x ₄ x₁ x ₄ x ₂ x₃ x ₄ x₁ x ₂ x₃ – СокДНФ