4 ms·
K3 has no tautologies, but Ł3 does have tautologies, e.g. P->P.
by lifepillar 9y ago
K3 has no tautologies, but Ł3 does have tautologies, e.g. P->P.
- dvt 9y agoTrue. I should've mentioned that I was barring implication (as the context was SQL).