Boolean_satisfiability_vs_true_literal_counts.png (454 × 469 píxeles, tamaño de archivo: 2 KB; tipo MIME: image / png )
https://creativecommons.org/licenses/by-sa/3.0CC BY-SA 3.0 Creative Commons Attribution-Share Alike 3.0 ciertocierto