R: Print Basic Truth Table with Custom Predicates

truthtables.R

library(tidyverse)
tt <- tibble(
        x = c(TRUE, TRUE, FALSE, FALSE),
        y = c(TRUE, FALSE, TRUE, FALSE)
)

`->` <- function(x, y) {
        as.logical(dplyr::case_when(
                x == TRUE & y == TRUE ~  TRUE,
                x == TRUE & y == FALSE ~  FALSE,
                x == FALSE & y == TRUE ~  TRUE,
                x == FALSE & y == FALSE ~  TRUE,
                TRUE ~ NA_integer_
        ))
}


(tt <- tt %>%
        mutate("x -> y" = `->`(x, y),     # predicate1
               "-x" = !x,
               "-x&y" = `-x` & y,         # predicate2
               "(x->y)v(-x&y)" = `->`(x,y) | `-x&y`)) # predicate1 | predicate2
        # ...here you can add your own predicates or predicate comparisons