plugins/IntentionPowerPak/src/intentionDescriptions/DemorgansIntention/description.html - platform/tools/idea - Git at Google

 <html>
 <body>
 This intention replaces either
 <table>
   <tr>
     <td> &nbsp;&nbsp;&nbsp;</td>
     <td>
       <b>a || b</b> with <b>!(!a && !b)</b> or
     </td>
   </tr>
   <tr>
     <td> &nbsp;&nbsp;&nbsp;</td>
     <td>
       <b>a && b</b> with <b>!(!a || !b)</b>
     </td>
   </tr>
 </table>

 inside boolean expression.
 </body>
 </html>
	<html>
	<body>
	This intention replaces either
	<table>
	<tr>
	<td>    </td>
	<td>
	<b>a \|\| b</b> with <b>!(!a && !b)</b> or
	</td>
	</tr>
	<tr>
	<td>    </td>
	<td>
	<b>a && b</b> with <b>!(!a \|\| !b)</b>
	</td>
	</tr>
	</table>

	inside boolean expression.
	</body>
	</html>