| <html> | |
| <body> | |
| <span style="font-family: verdana,sans-serif;"> | |
| This intention replaces either</span> | |
| <pre> | |
| <b>a or b</b> with <b>not(not a and not b)</b> or | |
| <b>a and b</b> with <b>not(not a or not b)</b> | |
| </pre> | |
| <span style="font-family: verdana,sans-serif;"> | |
| inside boolean expression. | |
| </span> | |
| </body> | |
| </html> |