packages feed

boolean-normal-forms-0.0.0.1: doc-formulae/nnf.svg

<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- This file was generated by dvisvgm 1.0.11 () -->
<!-- Sat May 10 16:18:00 2014 -->
<svg height='69.4444pt' version='1.1' viewBox='182.119 78.0556 104.762 69.4444' width='104.762pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
<defs>
<path d='M3.03 -3.16H4.73C6.15 -3.16 7.54 -4.2 7.54 -5.32C7.54 -6.09 6.88 -6.83 5.57 -6.83H2.33C2.14 -6.83 2.03 -6.83 2.03 -6.64C2.03 -6.52 2.12 -6.52 2.32 -6.52C2.45 -6.52 2.63 -6.51 2.75 -6.5C2.91 -6.48 2.97 -6.45 2.97 -6.34C2.97 -6.3 2.96 -6.27 2.93 -6.15L1.59 -0.78C1.49 -0.39 1.47 -0.31 0.68 -0.31C0.51 -0.31 0.4 -0.31 0.4 -0.12C0.4 0 0.52 0 0.55 0C0.83 0 1.54 -0.03 1.82 -0.03C2.03 -0.03 2.25 -0.02 2.46 -0.02C2.68 -0.02 2.9 0 3.11 0C3.18 0 3.31 0 3.31 -0.2C3.31 -0.31 3.22 -0.31 3.03 -0.31C2.66 -0.31 2.38 -0.31 2.38 -0.49C2.38 -0.55 2.4 -0.6 2.41 -0.66L3.03 -3.16ZM3.75 -6.14C3.84 -6.49 3.86 -6.52 4.29 -6.52H5.25C6.08 -6.52 6.61 -6.25 6.61 -5.56C6.61 -5.17 6.41 -4.31 6.02 -3.95C5.52 -3.5 4.92 -3.42 4.48 -3.42H3.07L3.75 -6.14Z' id='g1-80'/>
<path d='M4.38 -0.06C5.93 -0.65 7.4 -2.43 7.4 -4.36C7.4 -5.97 6.34 -7.05 4.85 -7.05C2.69 -7.05 0.49 -4.78 0.49 -2.45C0.49 -0.79 1.61 0.22 3.05 0.22C3.3 0.22 3.64 0.18 4.03 0.07C3.99 0.69 3.99 0.71 3.99 0.84C3.99 1.16 3.99 1.94 4.82 1.94C6.01 1.94 6.49 0.11 6.49 0C6.49 -0.07 6.42 -0.1 6.38 -0.1C6.3 -0.1 6.28 -0.05 6.26 0.01C6.02 0.72 5.44 0.97 5.09 0.97C4.63 0.97 4.48 0.7 4.38 -0.06ZM2.49 -0.14C1.71 -0.45 1.37 -1.23 1.37 -2.13C1.37 -2.82 1.63 -4.24 2.39 -5.32C3.12 -6.34 4.06 -6.8 4.79 -6.8C5.79 -6.8 6.52 -6.02 6.52 -4.68C6.52 -3.68 6.01 -1.34 4.33 -0.4C4.28 -0.75 4.18 -1.48 3.45 -1.48C2.92 -1.48 2.43 -0.98 2.43 -0.46C2.43 -0.26 2.49 -0.15 2.49 -0.14ZM3.11 -0.03C2.97 -0.03 2.65 -0.03 2.65 -0.46C2.65 -0.86 3.03 -1.26 3.45 -1.26S4.06 -1.02 4.06 -0.41C4.06 -0.26 4.05 -0.25 3.95 -0.21C3.69 -0.1 3.39 -0.03 3.11 -0.03Z' id='g1-81'/>
<path d='M8.34 -2.3C7.79 -1.88 7.52 -1.47 7.44 -1.34C6.99 -0.65 6.91 -0.02 6.91 -0.01C6.91 0.11 7.03 0.11 7.11 0.11C7.28 0.11 7.29 0.09 7.33 -0.09C7.56 -1.07 8.15 -1.91 9.28 -2.37C9.4 -2.41 9.43 -2.43 9.43 -2.5S9.37 -2.6 9.35 -2.61C8.91 -2.78 7.7 -3.28 7.32 -4.96C7.29 -5.08 7.28 -5.11 7.11 -5.11C7.03 -5.11 6.91 -5.11 6.91 -4.99C6.91 -4.97 7 -4.34 7.42 -3.67C7.62 -3.37 7.91 -3.02 8.34 -2.7H0.91C0.73 -2.7 0.55 -2.7 0.55 -2.5S0.73 -2.3 0.91 -2.3H8.34Z' id='g0-33'/>
<path d='M6.11 -3.2C6.11 -3.53 6.08 -3.56 5.76 -3.56H0.9C0.73 -3.56 0.55 -3.56 0.55 -3.36S0.73 -3.16 0.9 -3.16H5.71V-1.25C5.71 -1.07 5.71 -0.89 5.91 -0.89S6.11 -1.07 6.11 -1.25V-3.2Z' id='g0-58'/>
<path d='M4.09 -6.28H6.88C7.05 -6.28 7.23 -6.28 7.23 -6.48S7.05 -6.68 6.88 -6.68H0.91C0.76 -6.68 0.55 -6.68 0.55 -6.48S0.76 -6.28 0.91 -6.28H3.69V-0.36C3.69 -0.21 3.69 0 3.89 0S4.09 -0.18 4.09 -0.36V-6.28Z' id='g0-62'/>
<path d='M4.09 -6.32C4.09 -6.5 4.09 -6.68 3.89 -6.68S3.69 -6.47 3.69 -6.32V-0.4H0.91C0.76 -0.4 0.55 -0.4 0.55 -0.2S0.76 0 0.91 0H6.88C7.05 0 7.23 0 7.23 -0.2S7.05 -0.4 6.88 -0.4H4.09V-6.32Z' id='g0-63'/>
<path d='M3.56 -5.77C3.48 -5.94 3.42 -5.98 3.33 -5.98C3.2 -5.98 3.17 -5.91 3.11 -5.77L0.62 -0.18C0.56 -0.05 0.55 -0.03 0.55 0.02C0.55 0.13 0.64 0.22 0.75 0.22C0.82 0.22 0.9 0.2 0.98 0.01L3.33 -5.29L5.68 0.01C5.77 0.22 5.87 0.22 5.91 0.22C6.02 0.22 6.11 0.13 6.11 0.02C6.11 0 6.11 -0.02 6.05 -0.14L3.56 -5.77Z' id='g0-94'/>
<path d='M6.04 -5.58C6.1 -5.71 6.11 -5.73 6.11 -5.78C6.11 -5.89 6.02 -5.98 5.91 -5.98C5.81 -5.98 5.75 -5.91 5.68 -5.76L3.33 -0.47L0.98 -5.77C0.9 -5.96 0.82 -5.98 0.75 -5.98C0.64 -5.98 0.55 -5.89 0.55 -5.78C0.55 -5.76 0.55 -5.74 0.61 -5.62L3.1 0.01C3.18 0.18 3.24 0.22 3.33 0.22C3.46 0.22 3.49 0.15 3.55 0.01L6.04 -5.58Z' id='g0-95'/>
<path d='M3.31 2.4C3.31 2.37 3.31 2.35 3.14 2.18C1.89 0.92 1.57 -0.97 1.57 -2.5C1.57 -4.24 1.95 -5.98 3.18 -7.23C3.31 -7.35 3.31 -7.37 3.31 -7.4C3.31 -7.47 3.27 -7.5 3.21 -7.5C3.11 -7.5 2.21 -6.82 1.62 -5.55C1.11 -4.45 0.99 -3.34 0.99 -2.5C0.99 -1.72 1.1 -0.51 1.65 0.62C2.25 1.85 3.11 2.5 3.21 2.5C3.27 2.5 3.31 2.47 3.31 2.4Z' id='g2-40'/>
<path d='M2.89 -2.5C2.89 -3.28 2.78 -4.49 2.23 -5.62C1.63 -6.85 0.77 -7.5 0.67 -7.5C0.61 -7.5 0.57 -7.46 0.57 -7.4C0.57 -7.37 0.57 -7.35 0.76 -7.17C1.74 -6.18 2.31 -4.59 2.31 -2.5C2.31 -0.79 1.94 0.97 0.7 2.23C0.57 2.35 0.57 2.37 0.57 2.4C0.57 2.46 0.61 2.5 0.67 2.5C0.77 2.5 1.67 1.82 2.26 0.55C2.77 -0.55 2.89 -1.66 2.89 -2.5Z' id='g2-41'/>
</defs>
<g id='page1'>
<use x='215.611' xlink:href='#g0-62' y='85'/>
<use x='226.167' xlink:href='#g0-33' y='85'/>
<use x='238.944' xlink:href='#g0-63' y='85'/>
<use x='215.611' xlink:href='#g0-63' y='100'/>
<use x='226.167' xlink:href='#g0-33' y='100'/>
<use x='238.944' xlink:href='#g0-62' y='100'/>
<use x='202.247' xlink:href='#g0-58' y='115'/>
<use x='208.913' xlink:href='#g0-58' y='115'/>
<use x='215.58' xlink:href='#g1-80' y='115'/>
<use x='226.167' xlink:href='#g0-33' y='115'/>
<use x='238.944' xlink:href='#g1-80' y='115'/>
<use x='182.119' xlink:href='#g0-58' y='130'/>
<use x='188.786' xlink:href='#g2-40' y='130'/>
<use x='192.674' xlink:href='#g1-80' y='130'/>
<use x='202.706' xlink:href='#g0-95' y='130'/>
<use x='211.594' xlink:href='#g1-81' y='130'/>
<use x='219.5' xlink:href='#g2-41' y='130'/>
<use x='226.167' xlink:href='#g0-33' y='130'/>
<use x='238.944' xlink:href='#g2-40' y='130'/>
<use x='242.833' xlink:href='#g0-58' y='130'/>
<use x='249.5' xlink:href='#g1-80' y='130'/>
<use x='259.531' xlink:href='#g0-94' y='130'/>
<use x='268.42' xlink:href='#g0-58' y='130'/>
<use x='275.087' xlink:href='#g1-81' y='130'/>
<use x='282.992' xlink:href='#g2-41' y='130'/>
<use x='182.119' xlink:href='#g0-58' y='145'/>
<use x='188.786' xlink:href='#g2-40' y='145'/>
<use x='192.674' xlink:href='#g1-80' y='145'/>
<use x='202.706' xlink:href='#g0-94' y='145'/>
<use x='211.594' xlink:href='#g1-81' y='145'/>
<use x='219.5' xlink:href='#g2-41' y='145'/>
<use x='226.167' xlink:href='#g0-33' y='145'/>
<use x='238.944' xlink:href='#g2-40' y='145'/>
<use x='242.833' xlink:href='#g0-58' y='145'/>
<use x='249.5' xlink:href='#g1-80' y='145'/>
<use x='259.531' xlink:href='#g0-95' y='145'/>
<use x='268.42' xlink:href='#g0-58' y='145'/>
<use x='275.087' xlink:href='#g1-81' y='145'/>
<use x='282.992' xlink:href='#g2-41' y='145'/>
</g>
</svg>