- IEEE-754 부동 소수점 뺄셈의 맥락에서 기능적 완전성 개념에 대한 기사
- 모든 이진 회로가 부동 소수점 뺄셈만을 사용하여 구축될 수 있다는 설명
- IEEE 754-2019 표준, 6.3 섹션에 대한 상세 설명, 피연산자나 결과가 0 또는 무한일 때 적용되는 부호 비트와 규칙
- 뺄셈이 합으로 간주되는 방법과 0이 부호를 가질 수 있는 방법, -0과 +0이 별개의 개체임을 저자가 보여줌
- 0을 뺀 결과를 보여주는 참/거짓 표 제시, -0이 거짓이고 +0이 참임을 제안
- 결과 참/거짓 표는 A∨¬B 또는 B→A (IMPLY 게이트로도 알려짐)와 동등하며, 이는 기능적으로 완전함
- NAND와 NOR이 특정 상수 값에 접근하지 않아도 자체적으로 기능적으로 완전하다는 저자의 설명
- 부동 소수점 뺄셈을 사용하여 NOT 게이트와 OR 게이트를 구축하는 Python 데모 포함
- OR과 NOT을 사용하여 AND와 XOR 같은 다른 게이트를 구축하는 방법을 저자가 보여줌
- 부동 소수점 연산만을 사용하여 정수를 구현하는 Rust 구현으로 기사를 마무리, 두 개의 8비트 정수를 부동 소수점 명령어를 사용하여 더하는 방법을 보여줌