27 lines
337 B
Plaintext
27 lines
337 B
Plaintext
|
#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)
|
||
|
|
}
|