Is there a Truth Table Generator in R?
I played around and dame up with the following raw idea for truth tables
library(tidyverse)
truth_table_inputs <-
function(n){
if (n==1) return(
tibble(x1=c(FALSE,TRUE)))
expand_grid(truth_table_inputs(n-1),
last_var=c(FALSE,TRUE)) ->
res
names(res) <- paste0("x",1:n)
res
}
```{r}
eval_truth_table <-
function(n,fun){
truth_table_inputs(n) |>
bind_cols(
truth_table_inputs(n) |>
rowwise() |>
(\(x)do.call(fun,as.list(x)))()
) -> res
names(res)[n+1] <-
deparse(substitute(fun))
res
}
Example
eval_truth_table(3,function(x1,x2,x3)x1&x2|x3)
If there are more inputs than the function consumes, use dots
eval_truth_table(3,function(x1,x2,...)x1&x2)
On 13.03.2022, at 10:17, Jeff Newmiller <jdnewmil at dcn.davis.ca.us> wrote: There are 2^(2^length(tt)) possible "truth" vectors for the inputs defined in tt. AND-ing all of the inputs only gives one of those possibilities. Some popular named cases for 2 inputs are shown here [1], but it is common to use combinations of !, & and | to specify a particular truth vector. There is also the problem of reverse-engineering such a boolean expeession [2] in simplest form from a given truth vector, but I don't know if anyone has implemented such algorithms in R. [1] https://en.wikipedia.org/wiki/Truth_table [2] https://en.wikipedia.org/wiki/Karnaugh_maps On March 12, 2022 2:17:32 PM PST, Bert Gunter <bgunter.4567 at gmail.com> wrote:
... tt$truth <- tt$A & tt$B & tt$C to evaluate the outcome of expand.grid. or, as I said, tt$truth <- apply(tt,1, all) which works for any number of columns in tt. Bert Gunter "The trouble with having an open mind is that people keep coming along and sticking things into it." -- Opus (aka Berkeley Breathed in his "Bloom County" comic strip ) On Sat, Mar 12, 2022 at 2:02 PM Ebert,Timothy Aaron <tebert at ufl.edu> wrote:
To the end of Jeff's program add
tt$truth <- tt$A & tt$B & tt$C
to evaluate the outcome of expand.grid.
Tim
-----Original Message-----
From: R-help <r-help-bounces at r-project.org> On Behalf Of Jeff Newmiller
Sent: Saturday, March 12, 2022 12:05 PM
To: r-help at r-project.org; Paul Bernal <paulbernal07 at gmail.com>; R <r-help at r-project.org>
Subject: Re: [R] Is there a Truth Table Generator in R?
[External Email]
both <- c( FALSE, TRUE )
tt <- expand.grid( C = both
, B = both
, A = both
)
tt <- tt[, 3:1 ]
On March 12, 2022 8:42:28 AM PST, Paul Bernal <paulbernal07 at gmail.com> wrote:
Dear friends,
Hope you are doing great. I have been searching for a truth table
generator in R, but everything I find has a Python implementation instead.
Maybe there is in fact a truth table generator in R, but I am not
searching in the right places?
Any help and/or guidance will be greatly appreciated.
Best regards,
Paul
[[alternative HTML version deleted]]
______________________________________________ R-help at r-project.org mailing list -- To UNSUBSCRIBE and more, see https://urldefense.proofpoint.com/v2/url?u=https-3A__stat.ethz.ch_mailm an_listinfo_r-2Dhelp&d=DwICAg&c=sJ6xIWYx-zLMB3EPkvcnVg&r=9PEhQh2kVeAsRz sn7AkP-g&m=Cj0cRxlu_GS0ARzvxm-eD27PhuhkgT_azaq1hamiYDmCglHF8_9hGTAkcDNo ZtUq&s=h0wdH7OvIxKWgjwFmBIGHvswAKy8VKwyyI3IbB9dKkc&e= PLEASE do read the posting guide https://urldefense.proofpoint.com/v2/url?u=http-3A__www.R-2Dproject.org _posting-2Dguide.html&d=DwICAg&c=sJ6xIWYx-zLMB3EPkvcnVg&r=9PEhQh2kVeAsR zsn7AkP-g&m=Cj0cRxlu_GS0ARzvxm-eD27PhuhkgT_azaq1hamiYDmCglHF8_9hGTAkcDN oZtUq&s=tsrpB1zmIQL_wMcn70xPEkvpaisBrAM9k2OQ8kDrebw&e= and provide commented, minimal, self-contained, reproducible code.
-- Sent from my phone. Please excuse my brevity.
______________________________________________ R-help at r-project.org mailing list -- To UNSUBSCRIBE and more, see https://urldefense.proofpoint.com/v2/url?u=https-3A__stat.ethz.ch_mailman_listinfo_r-2Dhelp&d=DwICAg&c=sJ6xIWYx-zLMB3EPkvcnVg&r=9PEhQh2kVeAsRzsn7AkP-g&m=Cj0cRxlu_GS0ARzvxm-eD27PhuhkgT_azaq1hamiYDmCglHF8_9hGTAkcDNoZtUq&s=h0wdH7OvIxKWgjwFmBIGHvswAKy8VKwyyI3IbB9dKkc&e= PLEASE do read the posting guide https://urldefense.proofpoint.com/v2/url?u=http-3A__www.R-2Dproject.org_posting-2Dguide.html&d=DwICAg&c=sJ6xIWYx-zLMB3EPkvcnVg&r=9PEhQh2kVeAsRzsn7AkP-g&m=Cj0cRxlu_GS0ARzvxm-eD27PhuhkgT_azaq1hamiYDmCglHF8_9hGTAkcDNoZtUq&s=tsrpB1zmIQL_wMcn70xPEkvpaisBrAM9k2OQ8kDrebw&e= and provide commented, minimal, self-contained, reproducible code. ______________________________________________ R-help at r-project.org mailing list -- To UNSUBSCRIBE and more, see https://stat.ethz.ch/mailman/listinfo/r-help PLEASE do read the posting guide http://www.R-project.org/posting-guide.html and provide commented, minimal, self-contained, reproducible code.
-- Sent from my phone. Please excuse my brevity.
______________________________________________ R-help at r-project.org mailing list -- To UNSUBSCRIBE and more, see https://stat.ethz.ch/mailman/listinfo/r-help PLEASE do read the posting guide http://www.R-project.org/posting-guide.html and provide commented, minimal, self-contained, reproducible code.