Similar to 二重否定の除去

Resolution (logic)

De Morgan's laws

Identity (philosophy)

Law of excluded middle

Law of noncontradiction

0

1

2

3

4

5

6

7

8

9

1200 (number)

Template:Expand section

Daring-class destroyer (1949)

Type 03 Chū-SAM

703 in Japan