#import "/src/logic.typ": *
#let F = $((not p -> q) or r) -> ((p and not r) or not q)$
#let F = _implies(
  _or(
    _implies(
      _not("p"),
      "q"
    ),
    "r"
  ),
  _or(
    _and(
      "p",
      _not("r")
    ),
    _not("q")
  )
)
#display(F)
#get-atoms(F)

#get-components(F)

#{
  set text(size: 0.8em)
  truth-table(F)
}