Your connection (http) is not secure.
Our website has implemented HTTPS via Let's Encrypt and supports the secure connection SSL.
Please try to connect with HTTPS.
If you keep seeing the SSL error Net::ERR_CERT_DATE_INVALID, your browser may be out of date. Especially if your mobile android is older than Android-8.
Please update your browser or try using another modern browser.
Sorry for this inconvenience.
We still make available for everyone to free try our computation.
Thanks.
Best Regards.
IsBlankFunction IsPositiveFunction IsSelfDualFunction IsUnateFunction IsUnateFunctionTo AbsoluteExpression binaryioset() ToAndXor ToOrAnd ToDiagram ToShannonTree list() logicvardef long() LeastSignificantDigit object() Realization To2LayerNor ToFullAnd ShortestInputsForDistinguishTwoStates CreateCompactTableWithFullSimplification Implementation FastVerificationData DontCare SimpleCover string GetSubTable AdjustLogicVariableCount XORP Zero