above(a,d) rule (2) {X\a,Z\d} on(a,Y), above(Y,d) {Y\b} on(a,Y) above(b,d) answer: Y=b
above(a,d) rule (2) {X\a,Z\d} on(a,Y), above(Y,d) {Y\b} on(a,Y) above(b,d) answer: Y=b {X\b, Z\d} rule (2) on(b,Y), above(Y,d) {Y\c} above(c,d) on(b,Y) answer: Y=c rule (1) {X\c,Y\d} on(c,d) answer: yes All leaves are true, so the
466 views • 34 slides
![[7] Gaussian Elimination Starting to peek inside the black box So far sol ve( A, b) is a black](https://c.sambuz.com/898910/7-gaussian-elimination-starting-to-peek-inside-the-black-s.webp)
