Dear Florent, Wolfgang, and Hans, Thank you for the solutions. All solutions are working well. I add more rows for the last solution to show the truth table of a logical function. I may modify it for 2-variable function. Thanks again. Best regards, Dalyoung \starttext \startluacode function document.logicFa(p,q,r) local p,q,r if ((p or r) and (not q)) then return "1" else return "0" end end function document.logicFb(p,q) local p,q if ((not p) or q) then return "1" else return "0" end end function document.MakeHead(p,a) if not a then local t = p p = string.rep("|mcw(1cm)",#p-1) .. "|mcw(1.5cm)|" a = t end context.starttabulate { p } context.FL() for i=1,#a do context.NC() context(a[i]) end context.NC() context.NR() context.LL() -- context.stoptabulate() end \stopluacode \startluacode a = { "x", "y","z", "\\overbar{y}(x+z)" } document.MakeHead (a) -- "|mcw(1cm)|mcw(1cm)|mcw(1cm)|mcw(2cm)|”, for i,p in ipairs({true,false}) do for j,q in ipairs({true,false}) do for k,r in ipairs({true,false}) do context.NC() if p then val=1 else val=0 end context(val) context.NC() if q then val=1 else val=0 end context(val) context.NC() if r then val=1 else val=0 end context(val) context.NC() con=document.logicFa(p,q,r) context(con) context.NC() context.AR() end end end context.HL() context.stoptabulate() \stopluacode \stoptext

On 1/4/2025 12:27 AM, Jeong Dal via ntg-context wrote:

Dear Florent, Wolfgang, and Hans,

I modify the code given by Hans as following:

1. Place the function definition ab the beginning of the file. I use if function to check the number of element of a and apply it to the number of columns.

2. And call the functions in the text.

It works! It draw the truth table of the given logic functions.

Thanks a lot.

Best regards,

Dalyoung

\startluacode function document.MakeHead(p,a) if not a then local t = p p = string.rep("|mcw(1cm)",#p-1) .. "|mcw(1.5cm)|" a = t end context.starttabulate { p } context.FL() for i=1,#a do context.NC() context(a[i]) end context.NC() context.NR() context.LL() end

function document.truthTable(a) document.MakeHead (a) for i,s in ipairs({true,false}) do for j,t in ipairs({true,false}) do for k,u in ipairs({true,false}) do if s then val=1 else val=0 end context.NC() context(val) context.NC() if t then val=1 else val=0 end context(val) context.NC() if #a == 3 then break end if u then val=1 else val=0 end context(val) context.NC() con=document.logicFa(s,t,u) context(con) context.NC() context.AR() end if #a == 3 then con=document.logicF2(s,t) context(con) context.NC() context.AR() end end end context.HL() context.stoptabulate() end \stopluacode

In the text call the functions as following:

\startplacetable[location=here,reference=tbl:Fxyz] \startluacode function document.logicFa(p,q,r) if ((not p or not q) and r) or (p and (q or not r)) then return "1" else return "0" end end a = { "p", "q", "r","f(p,q,r)"} document.truthTable(a) \stopluacode \stopplacetable

Best use 'local' for val, con, a etc or do this: \startluacode function document.MakeHead(p,a) if not a then local t = p p = string.rep("|mcw(1cm)",#p-1) .. "|mcw(1.5cm)|" a = t end context.starttabulate { p } context.FL() for i=1,#a do context.NC() context(a[i]) end context.NC() context.NR() context.LL() end function document.MakeFooter() context.HL() context.stoptabulate() end function document.truthTable(a) document.MakeHead(a) for i,s in ipairs({true,false}) do for j,t in ipairs({true,false}) do for k,u in ipairs({true,false}) do context.NC() context(s and "1" or "0") context.NC() context(t and "1" or "0") context.NC() if #a == 3 then break end context(u and "1" or "0") context.NC() context(document.logicFa(s,t,u)) context.NC() context.AR() end if #a == 3 then context(document.logicF2(s,t)) context.NC() context.AR() end end end document.MakeFooter() end \stopluacode \startplacetable[location=here,reference=tbl:Fxyz] \startluacode function document.logicFa(p,q,r) if ((not p or not q) and r) or (p and (q or not r)) then return "1" else return "0" end end document.truthTable { "p", "q", "r","f(p,q,r)" } \stopluacode \stopplacetable you don't need the intermediate variables Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------

On 1/6/2025 2:33 PM, Jeong Dal via ntg-context wrote:

Dear Hans,

Thank you for your suggestions.

I changed the code without the intermediate variables.

I works well.

good, so now we're ready for a next improvement: local tf = { true, false } function document.truthTable(a) document.MakeHead(a) for i,s in ipairs(tf) do for j,t in ipairs(tf) do for k,u in ipairs(tf) do context.NC() context(s and "1" or "0") context.NC() context(t and "1" or "0") context.NC() if #a == 3 then break end context(u and "1" or "0") context.NC() context(document.logicFa(s,t,u)) context.NC() context.AR() end if #a == 3 then context(document.logicF2(s,t)) context.NC() context.AR() end end end document.MakeFooter() end and after that local tf = { "1", "0" } function document.truthTable(a) document.MakeHead(a) for i,s in ipairs(tf) do for j,t in ipairs(tf) do for k,u in ipairs(tf) do context.NC() context(s) context.NC() context(t) context.NC() if #a == 3 then break end context(u) context.NC() context(document.logicFa(s,t,u)) context.NC() context.AR() end if #a == 3 then context(document.logicF2(s,t)) context.NC() context.AR() end end end document.MakeFooter() end Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------

On 1/7/2025 3:27 PM, Jeong Dal via ntg-context wrote:

Dear Hans,

I tested your code.

...

   local tf = { true, false }

   function document.truthTable(a)        document.MakeHead(a) … …

...

       end        document.MakeFooter()    end

This part produces the right logical value. But, the next part doesn’t produce the correct value. While the value of each variable is printed correctly, the values of outputs are  all 0.

...

   local tf = { "1", "0" }

   function document.truthTable(a)        document.MakeHead(a)        for i,s in ipairs(tf) do            for j,t in ipairs(tf) do                for k,u in ipairs(tf) do                    context.NC()                    context(s)                    context.NC()                    context(t)                    context.NC() … ...               end            end        end        document.MakeFooter()    end

I think that the logical function “document.logicF()"is not working for the array tf={“1”,”0”}. In python, 1 and 0 are treated as true and false. But, I read that only “false” and “nil” are treated as false in Lua, that is,  “0” is also treated as true! I checked it using the following simple code:

\starttext \startluacode if 0 then context("True") else context("False") end \stopluacode \stoptext

The output The output is “True”.

Ah, i didn't check the function, so how about this: local tf = { true, false } --local tf = { "1", "0" } function document.truthTable(a,f3,f2) document.MakeHead(a) for i,s in ipairs(tf) do for j,t in ipairs(tf) do for k,u in ipairs(tf) do context.NC() context(s and "1" or "0") -- context(s) context.NC() context(t and "1" or "0") -- context(t) context.NC() if #a == 3 then break end context(u and "1" or "0") -- context(u) context.NC() context(f3(s,t,u) and "1" or "0") context.NC() context.AR() end if #a == 3 then context(f2(s,t) and "1" or "0") context.NC() context.AR() end end end document.MakeFooter() end and then you can do \startluacode local function logicF3(p,q,r) return ((not p or not q) and r) or (p and (q or not r)) -- return ((p == "0" or q == "0") and r == "1") or (p == "1" and (q == "1" or r == "0")) end local function logicF2(p,q) -- todo return true end document.truthTable ( { "p", "q", "r", "f(p,q,r)" }, logicF3, logicF2 ) \stopluacode so no need to store in document.logicXX and no need for that function to know about "0" and "1" being rendered, (btw, logicF2 was not defined in the example) Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------

On 1/7/2025 10:03 PM, Jeong Dal via ntg-context wrote:

Dear Hans,

It is nice to input the function as an argument. It is suffice to convey one function at each all.

But the definition of the function

...

  local function logicF3(p,q,r)       return ((not p or not q) and r) or (p and (q or not r))    -- return ((p == "0" or q == "0") and r == "1") or (p == "1" and (q == "1" or r == "0"))   end

Is not working. The outputs are blank(for false) and “?”(for true)

Here is a working example.

Thank you for enhancing the code.

Best regards,

Dalyoung

\startluacode function document.MakeHead(p,a) if not a then local t = p p = string.rep("|mcw(1cm)",#p-1) .. "|mcw(2cm)|" a = t end context.starttabulate { p } context.FL() for i=1,#a do context.NC() context(a[i]) end context.NC() context.NR() context.LL() end function document.MakeFooter() context.HL() context.stoptabulate() end

local tf = { true, false }

function document.truthTable(a,func) document.MakeHead(a) for i,s in ipairs(tf) do for j,t in ipairs(tf) do for k,u in ipairs(tf) do context.NC() context(s and "1" or "0") context.NC() context(t and "1" or "0") context.NC() if #a == 3 then break end context(u and "1" or "0") context.NC() context(func(s,t,u)) context.NC() context.AR() end if #a == 3 then context(func(s,t)) context.NC() context.AR() end end end document.MakeFooter() end \stopluacode

—- We define a logic function before we call the main function. —- by changing the function, we get the result for two variables.

\startluacode --statistics.starttiming() local function logicF(p,q,r) if (not q) and (p or r) then return "1" else return "0" end —- return (not q) and (p or r) end

document.truthTable({ "x", "y","z","f(x,y,x)"},logicF) \stopluacode

\stoptext

the magic has to come from: context(func(s,t,u) and "1" or "0") context(func(s,t) and "1" or "0") then local function logicF(p,q,r) return (not q) and (p or r) end should work \startluacode function document.MakeHead(p,a) if not a then local t = p p = string.rep("|mcw(1cm)",#p-1) .. "|mcw(2cm)|" a = t end context.starttabulate { p } context.FL() for i=1,#a do context.NC() context(a[i]) end context.NC() context.NR() context.LL() end function document.MakeFooter() context.HL() context.stoptabulate() end local tf = { true, false } function document.truthTable(a,func) document.MakeHead(a) for i,s in ipairs(tf) do for j,t in ipairs(tf) do for k,u in ipairs(tf) do context.NC() context(s and "1" or "0") context.NC() context(t and "1" or "0") context.NC() if #a == 3 then break end context(u and "1" or "0") context.NC() context(func(s,t,u) and "1" or "0") context.NC() context.AR() end if #a == 3 then context(func(s,t) and "1" or "0") context.NC() context.AR() end end end document.MakeFooter() end \stopluacode \startluacode local function logicF(p,q,r) return (not q) and (p or r) end document.truthTable({ "x", "y","z","f(x,y,x)"},logicF) \stopluacode ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------