Addon:
You can use it in the following way.
The argument of DisjunctiveNormalForm is the type of the things that are
between the /\ and /\ an ~ operators.
)compile api.spad
(1) -> DNF==>DisjunctiveNormalForm(Symbol)
Type:
Void
(2) -> a: DNF := 'a::DNF
(2) a
Type:
DisjunctiveNormalForm(Symbol)
(3) -> b: DNF := 'b::DNF
(3) b
Type:
DisjunctiveNormalForm(Symbol)
(4) -> c: DNF := 'c::DNF
(4) c
Type:
DisjunctiveNormalForm(Symbol)
(5) -> (a/\b)\/c
(5) a /\ b \/ c
Type:
DisjunctiveNormalForm(Symbol)
(6) -> a/\(b\/c)
(6) a /\ b \/ a /\ c
Type:
DisjunctiveNormalForm(Symbol)
(7) -> ~((a/\b)\/c)
(7) ~a /\ ~c \/ ~c /\ ~b
Type:
DisjunctiveNormalForm(Symbol)
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
