Lukas' Notes

Negative Literal

Jun 02, 20261 min read

logic

Backlinks

Anti-Horn Clause
Horn Formula

Created with Quartz v4.5.2 © 2026

GitHub