Tags

double negation elimination

The (classical) tautology .

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-07-27 Mon 22:26

Emacs 30.2 (Org mode 9.7.11)

Validate