1
0
Fork 0

Merging upstream version 25.0.3.

Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-13 21:37:40 +01:00
parent 03b67e2ec9
commit 021892b3ff
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
84 changed files with 33016 additions and 31040 deletions

View file

@ -113,6 +113,9 @@ a AND b;
A XOR A;
FALSE;
TRUE AND TRUE OR TRUE AND FALSE;
TRUE;
--------------------------------------
-- Absorption
--------------------------------------
@ -158,6 +161,12 @@ A OR C;
A AND (B AND C) AND (D AND E);
A AND B AND C AND D AND E;
A AND (A OR B) AND (A OR B OR C);
A;
(A OR B) AND (A OR C) AND (A OR B OR C);
(A OR B) AND (A OR C);
--------------------------------------
-- Elimination
--------------------------------------
@ -194,6 +203,15 @@ NOT A;
E OR (A AND B) OR C OR D OR (A AND NOT B);
A OR C OR D OR E;
(A AND B) OR (A AND NOT B) OR (A AND NOT B);
A;
(A AND B) OR (A AND B) OR (A AND NOT B);
A;
(A AND B) OR (A AND NOT B) OR (A AND B) OR (A AND NOT B);
A;
--------------------------------------
-- Associativity
--------------------------------------