Tool to calculate the dual of a Boolean logical expression. The dual being a complementary expression inverting addition and multiplication as well as 0 and 1.

dCode is free and its tools are a valuable help in games, maths, geocaching, puzzles and problems to solve every day! A suggestion ? a feedback ? a bug ? an idea ? Write to dCode!

The dual of a Boolean or of a Boolean expression is obtained by applying 2 operations: replacing/interchanging the logical ORs by logical ANDs and vice versa and replacing/interchanging the logical 0s by logical 1s and vice versa.

Example: The dual of a+b is a.b and conversely the dual of a.b is a+b (duality principle)

It is possible that the value $ a $ itself has a dual, some note this dual $ a' $ (be careful not to confuse this notation with the boolean NOT unary operator)

How to note the dual of a boolean equation?

The dual of a boolean function $ F $ is sometimes denoted by $ Fˊ $ (not to be confused with the complement or NOT function) or $ F ^ d $.

Likewise 0 and 1 are dual, true and false are duals, ∧ and ∨ are dual.

What is the duality principle?

Every Boolean expression has a dual, the Boolean Duality principle means that every theorem or any computation has a dual equivalent.

By proving something in Boolean algebra, its dual is also proved.

Example:x+1=1 has for dual x.0=0

Source code

dCode retains ownership of the "Boolean Dual" source code. Except explicit open source licence (indicated Creative Commons / free), the "Boolean Dual" algorithm, the applet or snippet (converter, solver, encryption / decryption, encoding / decoding, ciphering / deciphering, translator), or the "Boolean Dual" functions (calculate, convert, solve, decrypt / encrypt, decipher / cipher, decode / encode, translate) written in any informatic language (Python, Java, PHP, C#, Javascript, Matlab, etc.) and all data download, script, or API access for "Boolean Dual" are not public, same for offline use on PC, tablet, iPhone or Android !
The copy-paste of the page "Boolean Dual" or any of its results, is allowed as long as you cite the online source https://www.dcode.fr/boolean-dual
Reminder : dCode is free to use.