- 566 名前：１３２人目の素数さん mailto:sage [2012/04/30(月) 12:52:02.68 ]
- >>560
(x∧9)∨(y∧9)∨(z∧10)=6 → x∧9, y∧9, z∧10 ≦ 6 で x∧9, y∧9, z∧10 のどれかは 6 → x, y, z ≦ 6 で x, y, z のどれかは 6
(x∧6)∨(y∧8)∨(z∧4)=6 → x∧6, y∧8, z∧4 ≦ 6 で x∧6, y∧8, z∧4 のどれかは 6 → x, y ≦ 6 で x, y のどれかは 6
つまり x, y, z ≦ 6 で x, y のどれかは 6
(x∧6)∨(y∧4)∨(z∧6)=5 → x∧6, y∧4, z∧6 ≦ 5 で x∧6, y∧4, z∧6 のどれかは 5 → x, z ≦ 5 で x, z のどれかは 5
つまり y＝6 で x, z ≦ 5 で x, z のどれかは 5
