Boolean_satisfiability_vs_true_literal_counts.png ( 454 × 469 пикселей, размер файла: 2 КБ, MIME-тип: image/png )
https://creativecommons.org/licenses/by-sa/3.0CC BY-SA 3.0 Creative Commons Attribution-Share Alike 3.0 истинныйистинный
