Assertion: logic redundancy | /r/HasProperty | removed by heuristic computer method
Facets:
Source sentences:
text: Logic redundancy can be removed by several well-known techniques, such as Karnaugh maps, the Quine–McCluskey algorithm, and the heuristic computer method.