Logical Equations

xxxxxxxxxx

 

1

bc=Words(alphabet=[0,1],length=10); c=0

2

def lf(x):

3

    eq1=(x[0] | (not x[1])) & (x[2] | (not x[3]))

4

    eq2=(x[2] | (not x[3])) & (x[4] | (not x[5]))

5

    eq3=(x[4] | (not x[5])) & (x[6] | (not x[7]))

6

    eq4=(x[6] | (not x[7])) & (x[8] | (not x[9]))    

7

    return (eq1 & eq2 & eq3 & eq4)

8

for el in bc: c+=int(lf(el))

9

pretty_print(html('<p>true values: %d</p>'%c))

10

string=str(html(table([[(bc[i*10+j],lf(bc[i*5+j])) 

11

                for j in range(5)] for i in range(10)])))

12

html(string[:33]+'style="font-size:11px;" '+string[33:])

Language: Sage Gap GP HTML Macaulay2 Maxima Octave Python R Singular

---

Messages