blob: 6a872702f7c471e07db7b9d5c94d899bb79855e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
+++
title = "Sorting list of if-statements"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1c3a"]
forwardlinks = []
zettelid = "2e1c3b"
+++
The sorting of the statements can be done by sorting the list according
to the expressions inside the predicates, and merging the predicates
(using $\lor$) for the expressions that are equivalent. Then, it should
be possible to just sequentially prove the equivalence of each of the
predicates in the list that have the same symbolic values.
For expressions that do not appear in either of the list, the predicate
on them should evaluate to being false, which would be the only valid
reason for it to not appear as one of the possibilities.
|
