[Algorithm][Laws] 드 모르간의 법칙

각 조건을 부정하고 논리곱을 논리합으로, 논리합을 논리곱으로 바꾸고 다시 전체를 부정하면 원래의 조건과 같다.

  • 이 법칙을 일반적으로 나타내면 다음과 같다.
    1. x and ynot(not x or not y)의 논리값은 같다.
    2. x or ynot(not x and not y)의 논리값은 같다.

e.g)

while True:
	if num >= 10 and num <= 99:
		break
while True:
	if not(num < 10 or num > 99):
		break
  • 위 의 두 코드의 논리 결과는 같다.